First-order logic and automated theorem proving /
Saved in:
| Author / Creator: | Fitting, Melvin, 1942- |
|---|---|
| Edition: | 2nd ed. |
| Imprint: | New York : Springer, c1996. |
| Description: | xvi, 326 p. : ill. ; 25 cm. |
| Language: | English |
| Series: | Graduate texts in computer science Graduate texts in computer science (Springer-Verlag New York Inc.) |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/2412977 |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | 2412977 | ||
| 005 | 20171020104839.1 | ||
| 008 | 960214s1996 nyua b 001 0 eng | ||
| 003 | ICU | ||
| 010 | |a 95045225 | ||
| 020 | |a 0387945938 (New York : hardcover : alk. paper) | ||
| 035 | |a (ICU)BID21593353 | ||
| 035 | |a (OCoLC)33405954 | ||
| 040 | |a DLC |c DLC |d DLC |d OrLoB-B |d OCoLC | ||
| 041 | 0 | |a eng | |
| 050 | 0 | 0 | |a QA76.9.A96 |b F68 1996 |
| 082 | 0 | 0 | |a 511.3 |2 20 |
| 100 | 1 | |a Fitting, Melvin, |d 1942- |0 http://id.loc.gov/authorities/names/n81018911 |1 http://viaf.org/viaf/46837603 | |
| 245 | 1 | 0 | |a First-order logic and automated theorem proving / |c Melvin Fitting. |
| 250 | |a 2nd ed. | ||
| 260 | |a New York : |b Springer, |c c1996. | ||
| 300 | |a xvi, 326 p. : |b ill. ; |c 25 cm. | ||
| 336 | |a text |b txt |2 rdacontent |0 http://id.loc.gov/vocabulary/contentTypes/txt | ||
| 337 | |a unmediated |b n |2 rdamedia |0 http://id.loc.gov/vocabulary/mediaTypes/n | ||
| 338 | |a volume |b nc |2 rdacarrier |0 http://id.loc.gov/vocabulary/carriers/nc | ||
| 490 | 1 | |a Graduate texts in computer science | |
| 504 | |a Includes bibliographical references (p. [315]-318) and index. | ||
| 505 | 0 | 0 | |g 1. |t Background -- |g 2. |t Propositional Logic -- |g 3. |t Semantic Tableaux and Resolution -- |g 4. |t Other Propositional Proof Procedures -- |g 5. |t First-Order Logic -- |g 6. |t First-Order Proof Procedures -- |g 7. |t Implementing Tableaux and Resolution -- |g 8. |t Further First-Order Features -- |g 9. |t Equality. |
| 650 | 0 | |a Automatic theorem proving. |0 http://id.loc.gov/authorities/subjects/sh85010111 | |
| 650 | 0 | |a Logic, Symbolic and mathematical. |0 http://id.loc.gov/authorities/subjects/sh85078115 | |
| 650 | 7 | |a Automatic theorem proving. |2 fast |0 http://id.worldcat.org/fast/fst00822777 | |
| 650 | 7 | |a Logic, Symbolic and mathematical. |2 fast |0 http://id.worldcat.org/fast/fst01002068 | |
| 830 | 0 | |a Graduate texts in computer science (Springer-Verlag New York Inc.) |0 http://id.loc.gov/authorities/names/n95104914 | |
| 901 | |a ToCBNA | ||
| 903 | |a HeVa | ||
| 929 | |a cat | ||
| 999 | f | f | |i 6d1c4cdb-05e7-5834-9c67-72dc16e64b40 |s d51091af-5323-5ae3-a8ff-1edd8577b3eb |
| 928 | |t Library of Congress classification |a QA76.9.A96 F68 1996 |l JCL |c JCL-Sci |i 3194333 | ||
| 927 | |t Library of Congress classification |a QA76.9.A96 F68 1996 |l JCL |c JCL-Sci |e CRERAR |b 43243603 |i 4568167 | ||
