Automated reasoning and the discovery of missing and elegant proofs

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Wos, Larry
Άλλοι συγγραφείς: Pieper, Gail W.
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: New Jersey Rinton Press 2003
Θέματα:
LEADER 01053nam a2200265 u 4500
001 10081648
003 upatras
005 20210117202302.0
008 091208s2003 us eng
020 |a 1589490231 
040 |a GR-PaULI  |c GR-PaULI 
041 0 |a eng 
082 0 4 |a 006.3 
100 1 |a Wos, Larry  |9 83093 
245 1 0 |a Automated reasoning and the discovery of missing and elegant proofs  |c Larry Wos and Gail W. Pieper 
260 |a New Jersey  |b Rinton Press   |c 2003 
300 |a xv, 372 p.  |b ill.  |c 24 cm  |e 1 cd-rom  
650 4 |a Ηλεκτρονικοί υπολογιστές  |x Προγραμματισμός  |9 948 
650 4 |9 84642  |a Τεχνητή νοημοσύνη 
700 1 |a Pieper, Gail W.  |9 134 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ  |b ΒΣ1  |k ΑΣΧΞ  |h 006.3 WOS  |m 100206  |p 025000182077  |t 1 
942 |2 ddc  |c BK15 
952 |0 0  |1 0  |4 0  |6 006_300000000000000_WOS  |7 0  |9 86164  |a LISP  |b LISP  |c BSC  |d 2016-04-24  |i 100206  |l 0  |o 006.3 WOS  |p 025000182077  |r 2016-04-24 00:00:00  |t 1  |w 2016-04-24  |y BK15 
998 |c ΜΠΟΥΡΑΣ  |d 2009-12 
999 |c 57429  |d 57429