Computational logic : symposium proceedings, Brussels, November 13/14, 1990 /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς: Lloyd, J. W. (John Wylie), 1947- (επιμελητής.)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Berlin ; New York : Springer-Verlag, c1990.
Σειρά:ESPRIT basic research series
Θέματα:
LEADER 01284pam a2200289 a 4500
001 4361206
003 GR-PaULI
005 20210909125700.0
008 901109s1990 gw a b 100 0 eng
952 |0 0  |1 0  |2 ddc  |4 0  |6 004_015000000000000_1_COM  |7 0  |9 122718  |a LISP  |b LISP  |c BSC  |d 2016-04-24  |i 2478  |l 0  |o 004.015 1 COM  |p 025000282617  |r 2016-04-24 00:00:00  |t 1  |v 2016.00  |w 2016-04-24  |y BK15  |x Μεταφορά από Τμ. Μηχανικών ΗΥ & Πληροφορικής 
999 |c 80803  |d 80803 
010 |a  90024753  
020 |a 3540534377  
020 |a 0387534377  
040 |a DLC  |c GR-PaULI  |d    |b gre  |e AACR2 
082 0 4 |a 004.015 1  |2 23 
245 0 0 |a Computational logic :  |b symposium proceedings, Brussels, November 13/14, 1990 /  |c J.W. Lloyd (ed.). 
260 |a Berlin ;  |a New York :  |b Springer-Verlag,  |c c1990. 
300 |a ix, 211 σ. :  |b εικ. ;  |c 25 εκ. 
490 1 |a EUR ;  |v 13147 EN 
490 1 |a ESPRIT basic research series 
504 |a Περιλαμβάνει βιβλιογραφικές παραπομπές.  
650 4 |a Αυτόματη απόδειξη θεωρημάτων  |9 86550 
700 1 |a Lloyd, J. W.  |q (John Wylie),  |d 1947-  |9 113426  |e επιμελητής. 
830 0 |a ESPRIT basic research series  |9 187386 
942 |2 ddc  |c BK15 
998 |c ΜΠΟΥΡΑΣ  |d 2021-09