Computational logic : essays in honor of Alan Robinson /

• Other Authors: Robinson, J. A. (John Alan) (συγγραφέας.), Lassez, Jean-Louis (επιμελητής.), Plotkin, G. (Gordon), 1946- (επιμελητής.)
• Format: Book
• Language: English
• Published: Cambridge, Mass. : MIT Press, c1991.
• Subjects: Robinson, J. A. > (John Alan); Θεωρία απόδειξης; Λογικός προγραμματισμός