Matteo Slanina (slanina)
Contributi a Philosophie.ch
No contributions yet
Bibliography
Montanari, Angelo, Policriti, Alberto and Slanina, Matteo. 2000. “Supporting Automated Deduction in First-Order Modal Logics.” in KR’00: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, pp. 547–556. San Francisco, California: Morgan Kaufmann Publishers.