First-order logic and automated theorem proving /

First-order logic and automated theorem proving /

Εμφάνιση άλλων εκδόσεων (1)
Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Fitting, Melvin 1942-
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: New York : Springer, c1996.
Έκδοση:2nd ed.
Σειρά:Graduate texts in computer science
Θέματα:
Ηλεκτρονικοί υπολογιστές > Μαθηματικές αρχές
Λογική
Λογική, Συμβολική και μαθηματική
LEADER 02100nam a2200361 u 4500
001 10007530
003 upatras
005 20210902093414.0
008 881025s1996 us eng
952 |0 0  |1 0  |4 0  |6 511_300000000000000_F  |7 0  |9 131637  |a LISP  |b LISP  |c BSC  |d 2016-04-24  |i 31454  |l 1  |o 511.3 F  |p 025000055285  |r 2019-06-19 00:00:00  |s 2019-05-31  |t 1  |w 2016-04-24  |y BK15 
952 |0 0  |1 0  |2 ddc  |4 0  |6 511_300000000000000_FIT  |7 0  |8 NFIC  |9 136503  |a LISP  |b LISP  |c ALFe  |d 2016-04-24  |l 0  |o 511.3 FIT  |p 025000283041  |r 2016-04-24 00:00:00  |t 1  |w 2016-04-24  |y BK15  |x Μεταφορά από Τμ. Μηχανικών ΗΥ & Πληροφορικής 
952 |0 0  |1 0  |2 ddc  |4 0  |6 511_300000000000000_FIT  |7 0  |8 NFIC  |9 136504  |a LISP  |b LISP  |c ALFe  |d 2016-04-24  |l 0  |o 511.3 FIT  |p 025000286056  |r 2016-04-24 00:00:00  |t 2  |w 2016-04-24  |y BK15  |x Μεταφορά από Τμ. Μηχανικών ΗΥ & Πληροφορικής 
952 |0 0  |1 0  |4 0  |6 511_300000000000000_FIT  |7 0  |9 136505  |a CEID  |b CEID  |d 2016-04-24  |l 0  |o 511.3 FIT  |r 2016-04-24 00:00:00  |t 3  |w 2016-04-24 
952 |0 0  |1 0  |4 0  |6 511_300000000000000_FIT  |7 0  |9 136506  |a CEID  |b CEID  |d 2016-04-24  |l 0  |o 511.3 FIT  |r 2016-04-24 00:00:00  |t 4  |w 2016-04-24 
952 |0 0  |1 0  |4 0  |6 511_300000000000000_FIT  |7 0  |9 136507  |a CEID  |b CEID  |d 2016-04-24  |l 0  |o 511.3 FIT  |r 2016-04-24 00:00:00  |t 5  |w 2016-04-24 
999 |c 86250  |d 86250 
020 |a 0387945938 
040 |a GR-PaULI  |c GR-PaULI 
041 0 |a eng 
082 0 4 |a 511.3 
100 1 |a Fitting, Melvin  |d 1942-  |9 9277 
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 σ. :  |b εικ. ;  |c 24 εκ. 
490 0 |a Graduate texts in computer science 
505 1 |a Includes index, references 
650 4 |a Ηλεκτρονικοί υπολογιστές  |x Μαθηματικές αρχές  |9 3415 
650 4 |a Λογική  |9 325 
650 4 |a Λογική, Συμβολική και μαθηματική  |9 472 
760 1 |a Graduate texts in computer science 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ  |b ΒΣ1  |k ΑΣΧΞ  |h 511.3 F  |m 31454  |p 025000055285  |t 1 
942 |2 ddc  |c BK15 

Παρόμοια τεκμήρια