Logical environments /

• Other Authors: Huet, Gerard (επιμελητής.), Plotkin, G. (Gordon), 1946- (επιμελητής.)
• Format: Book
• Language: English
• Published: Cambridge ; New York, NY, USA : Cambridge University Press, 1993.
• Subjects: Αυτόματη απόδειξη θεωρημάτων; Τεχνητή νοημοσύνη