Logical environments /

• Άλλοι συγγραφείς: Huet, Gerard (επιμελητής.), Plotkin, G. (Gordon), 1946- (επιμελητής.)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Cambridge ; New York, NY, USA : Cambridge University Press, 1993.
• Θέματα: Αυτόματη απόδειξη θεωρημάτων; Τεχνητή νοημοσύνη
• Φυσική περιγραφή: xiii, 338 σ. : εικ. ; 24 εκ.
• Βιβλιογραφία: Περιλαμβάνει βιβλιογραφικές παραπομπές.
• ISBN: 0521433126