First-order logic and automated theorem proving

First-order logic and automated theorem proving

Enregistré dans:
Détails bibliographiques
Auteur principal : Fitting Melvin Chris (Auteur)
Format : Livre
Langue : anglais
Titre complet : First-order logic and automated theorem proving / Melvin Fitting
Édition : Second edition
Publié : New York, Berlin, Heidelberg, Paris [etc.] : Springer , C 1996
Description matérielle : 1 vol. (XVI-326 p.)
Collection : Graduate texts in computer science
Sujets :
Logique du premier ordre
Théorèmes > Démonstration automatique
Logique mathématique
LEADER 01934cam a2200613 4500
001 PPN024532894
003 http://www.sudoc.fr/024532894
005 20220406055500.0
010 |a 0-387-94593-8  |b rel. : New York : alk. paper 
020 |a US  |b 9545225 
035 |a (OCoLC)300162012 
035 |a ocm33405954 
035 |a sib1726046 
035 |a lc95045225 
035 |a DYNIX_BUNAN_316267 
073 1 |a 9780387945934  |b rel. 
100 |a 19951023h19961996k y0frey0103 ba 
101 0 |a eng  |e eng 
102 |a US 
105 |a a a 001yy 
106 |a r 
181 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 |6 z01  |c n  |2 rdamedia 
182 1 |6 z01  |a n 
183 |6 z01  |a nga  |2 rdamedia 
200 1 |a First-order logic and automated theorem proving  |f Melvin Fitting 
205 |a Second edition 
214 0 |a New York  |a Berlin  |a Heidelberg  |a Paris [etc.]  |c Springer 
214 4 |d C 1996 
215 |a 1 vol. (XVI-326 p.)  |c ill.  |d 25 cm 
225 2 |a Graduate texts in computer science 
320 |a Bibliogr.p. [315]-318. Index. 
410 | |0 013552619  |t Graduate texts in computer science  |x 1368-0110 
606 |3 PPN028111877  |a Logique du premier ordre  |2 rameau 
606 |3 PPN027819213  |a Théorèmes  |x Démonstration automatique  |2 rameau 
606 |3 PPN027662799  |a Logique mathématique  |2 rameau 
676 |a 511.3  |v 20 
680 |a QA76.9.A96  |b F68 1996 
686 |a 68T15  |c 2000  |2 msc 
686 |a 68-01  |c 2000  |2 msc 
686 |a 68-02  |c 2000  |2 msc 
686 |a 03-01  |c 2000  |2 msc 
686 |a 03B10  |c 2000  |2 msc 
686 |a 03B35  |c 2000  |2 msc 
700 1 |3 PPN032597754  |a Fitting  |b Melvin Chris  |f 1942-....  |4 070 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
801 3 |a FR  |b SF  |g AFNOR 
801 3 |a FR  |b Abes  |c 20220405  |g AFNOR 
930 |5 441092208:723758905  |b 441092208  |j u 
930 |5 441092105:279777574  |b 441092105  |j f 
979 |a CCFA 
998 |a 133877