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
• Θέματα: Αυτόματη απόδειξη θεωρημάτων