![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2, 1994
- Dov M. Gabbay, Christopher J. Hogger, J. A. Robinson, Jörg H. Siekmann:
Handbook of Logic in Artificial Intelligence and Logic Programming, Volume2, Deduction Methodologies. Oxford University Press 1994, ISBN 0-19-853746-8 - Larry Wos, Robert Veroff:
Logical basis for the automation of reasoning: Case studies. Handbook of Logic in Artificial Intelligence and Logic Programming (2) 1994: 1-40 - Franz Baader, Jörg H. Siekmann:
Unification theory. Handbook of Logic in Artificial Intelligence and Logic Programming (2) 1994: 41-126 - Christoph Walther:
Mathematical induction. Handbook of Logic in Artificial Intelligence and Logic Programming (2) 1994: 127-228 - Daniel Leivant:
Higher order logic. Handbook of Logic in Artificial Intelligence and Logic Programming (2) 1994: 229-322 - Donald Perlis, V. S. Subrahmanian:
Meta-languages, reflection principles, and self-reference. Handbook of Logic in Artificial Intelligence and Logic Programming (2) 1994: 323-358 - Dov M. Gabbay:
Classical vs non-classical logics (the universality of classical logic). Handbook of Logic in Artificial Intelligence and Logic Programming (2) 1994: 359-495
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.