Computational logic : essays in honor of Alan Robinson /

• Άλλοι συγγραφείς: Robinson, J. A. (John Alan) (συγγραφέας.), Lassez, Jean-Louis (επιμελητής.), Plotkin, G. (Gordon), 1946- (επιμελητής.)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Cambridge, Mass. : MIT Press, c1991.
• Θέματα: Robinson, J. A. > (John Alan); Θεωρία απόδειξης; Λογικός προγραμματισμός