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
• Θέματα: Αυτόματη απόδειξη θεωρημάτων
• Φυσική περιγραφή: ix, 211 σ. : εικ. ; 25 εκ.
• Βιβλιογραφία: Περιλαμβάνει βιβλιογραφικές παραπομπές.
• ISBN: 3540534377; 0387534377