Temporal reasoning in a logic programming language with modularity

Detalhes bibliográficos
Autor principal: Nogueira, Vitor Beires (author)
Formato: doctoralThesis
Idioma:eng
Publicado em: 2008
Assuntos:
Texto completo:http://hdl.handle.net/10174/11138
País:Brasil
Oai:oai:dspace.uevora.pt:10174/11138