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

• Other Authors: Lloyd, J. W. (John Wylie), 1947- (επιμελητής.)
• Format: Book
• Language: English
• Published: Berlin ; New York : Springer-Verlag, c1990.
• Series: ESPRIT basic research series
• Subjects: Αυτόματη απόδειξη θεωρημάτων