Formal techniques in artificial intelligence a sourcebook

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς: Banerji, R.B
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Amsterdam North-Holland Publishing Company 1990
Σειρά:Studies in computer science and artificial intelligence 6
Θέματα:
LEADER 00991nam a2200241 u 4500
001 10001683
003 upatras
005 20210117203326.0
008 881025s1990 ne eng
040 |a GR-PaULI  |c GR-PaULI 
041 0 |a eng 
082 0 4 |a 006.3 
245 1 0 |a Formal techniques in artificial intelligence  |b a sourcebook  |c edited by Ranan B. Banerji 
260 |a Amsterdam  |b North-Holland Publishing Company  |c 1990 
300 |a xi, 437 p.  |b fig.  |c 25 cm 
490 0 |a Studies in computer science and artificial intelligence  |v 6 
650 4 |9 84642  |a Τεχνητή νοημοσύνη 
700 1 |a Banerji, R.B.  |9 106862 
760 1 |a Studies in computer science and artificial intelligence  |g 6 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ  |b ΒΣ1  |k ΑΣΧΞ  |h 006.3 B  |m 10393  |p 025000076470  |t 1 
942 |2 ddc  |c BK15 
952 |0 0  |1 0  |4 0  |6 006_300000000000000_B  |7 0  |9 112032  |a LISP  |b LISP  |c BSC  |d 2016-04-24  |i 10393  |l 0  |o 006.3 B  |p 025000076470  |r 2016-04-24 00:00:00  |t 1  |w 2016-04-24  |y BK15 
999 |c 74905  |d 74905