default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHandbook 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
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.
last updated on 2024-12-29 01:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
