First-order logic and automated theorem proving / / Melvin Fitting.
Saved in:
Superior document: | Graduate texts in computer science |
---|---|
VerfasserIn: | |
Place / Publishing House: | New York : : Springer,, [1996] 1996 |
Year of Publication: | 1996 |
Edition: | Second edition. |
Language: | English |
Series: | Graduate texts in computer science (Springer-Verlag New York Inc.)
|
Online Access: | |
Physical Description: | 1 online resource (336 pages) :; illustrations. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Automated theorem proving : : after 25 years / / W.W. Bledsoe and D.W. Loveland, editors.
Published: ([1984]) -
Conditional and preferential logics : proof methods and theorem proving / / Gian Luca Pozzato.
by: Pozzato, Gian Luca.
Published: (c2010.) -
Data sciences : : from first-order logic to the web / / Serge Abiteboul, translator: Liz Libbrecht.
by: Abiteboul, Serge,
Published: (2012) -
Theorem-proving systems / Ewa Orłowska
by: Orłowska, Ewa
Published: (1973) -
Intensional First-Order Logic : : From AI to New SQL Big Data / / Zoran Majkic.
by: Majkic, Zoran,
Published: ([2022])