Logic, algebra, and computation /

• Corporate Author: NATO Advanced Study Institute on Logic, Algebra, and Computation Marktoberdorf, Germany
• Other Authors: Bauer, Friedrich Ludwiq 1924- (επιμελητής.)
• Format: Conference Proceeding Book
• Language: English
• Published: Berlin : Springer-Verlag, 1991.
• Series: NATO ASI series. Computer and systems sciences 79.
• Subjects: Λογικός προγραμματισμός; Άλγεβρα