Search
Add filters:
Use filters to refine the search results.
Results 1-1 of 1 (Search time: 0.003 seconds).
- previous
- 1
- next
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
27-Nov-1998 | Uma lógica proposicional de resolução de problemas. | ALBUQUERQUE, Antonio Carlos de. |
Discover
Subject
- 1 Artificial intelligence
- 1 Atribuição de Verdade na LRP
- 1 Attribution of Truth in LRP
- 1 Formal Deductive System
- 1 General Theory of Problems (TGP)
- 1 Lógica Proposicional de Resolução...
- 1 Propositional Problem Solving Log...
- 1 Resolução de Problemas
- 1 Sistema Formal Dedutivo
- 1 Teoria Geral de Problemas (TGP)
- next >
Date issued
- 1 1998