Automated deduction, CADE-11 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς: Kapur, Deepak (Επιμελητής έκδοσης)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Berlin Springer - Verlag 1992
Σειρά:Lecture notes in artificial intelligence 607
Θέματα:
LEADER 01286nam a2200289 u 4500
001 10005917
003 upatras
005 20210117203822.0
008 881025s1992 ge eng
020 |a 3540556028 
040 |a GR-PaULI  |c GR-PaULI 
041 0 |a eng 
082 0 4 |a 006.3 
245 1 0 |a Automated deduction, CADE-11  |b 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992  |b proceedings  |c D. Kapur (ed.) 
260 |a Berlin  |b Springer - Verlag  |c 1992 
300 |a xv, 793 p.  |c 26 cm. 
490 0 |a Lecture notes in artificial intelligence  |l Subseries of lecture notes in computer science  |v 607 
500 |a Includes index 
650 4 |a Λογική, Συμβολική και μαθηματική  |9 472 
650 4 |a Τεχνητή νοημοσύνη  |x Συνέδρια  |9 48300 
650 4 |9 84642  |a Τεχνητή νοημοσύνη 
700 1 |a Kapur, Deepak  |4 edt  |9 116142 
760 1 |a Lecture notes in artificial intelligence  |g 607 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ  |b ΒΣ1  |k ΑΣΧΞ  |h 006.3 INT  |m 15368  |p 025000109883  |t 1 
942 |2 ddc  |c BK15 
952 |0 0  |1 0  |4 0  |6 006_300000000000000_INT  |7 0  |9 126743  |a LISP  |b LISP  |c BSC  |d 2016-04-24  |i 15368  |l 0  |o 006.3 INT  |p 025000109883  |r 2016-04-24 00:00:00  |t 1  |w 2016-04-24  |y BK15 
999 |c 83090  |d 83090