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