Conditional and preferential logics : proof methods and theorem proving / / Gian Luca Pozzato.
Saved in:
: | |
---|---|
TeilnehmendeR: | |
Year of Publication: | 2010 |
Language: | English |
Online Access: | |
Physical Description: | viii, 200 p. :; ill. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
First-order logic and automated theorem proving / / Melvin Fitting.
by: Fitting, Melvin,
Published: ([1996]) -
Automated theorem proving : : after 25 years / / W.W. Bledsoe and D.W. Loveland, editors.
Published: ([1984]) -
Theorem-proving systems / Ewa Orłowska
by: Orłowska, Ewa
Published: (1973) -
Logics and languages for reliability and security / [edited by] Javier Esparza, Bernd Spanfelner, Orna Grumberg.
Published: (2010.) -
Proof technology and computation / edited by Helmut Schwichtenberg and Katharina Spies.
Published: (c2006.)