Capítulo de livro
A Machine-Oriented Logic Based on the Resolution Principle
1965; Springer Nature; Linguagem: Inglês
10.1007/978-3-642-81952-0_26
Autores Tópico(s)Logic, Reasoning, and Knowledge
Referência(s)