Logic, algebra, and computation /

• Συγγραφή απο Οργανισμό/Αρχή: NATO Advanced Study Institute on Logic, Algebra, and Computation Marktoberdorf, Germany
• Άλλοι συγγραφείς: Bauer, Friedrich Ludwiq 1924- (επιμελητής.)
• Μορφή: Πρακτικό Συνεδρίου Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin : Springer-Verlag, 1991.
• Σειρά: NATO ASI series. Computer and systems sciences 79.
• Θέματα: Λογικός προγραμματισμός; Άλγεβρα
• Περιγραφή τεκμηρίου: Proceedings of the NATO Advanced Study Institute on Logic, Algebra, and Computation held at Marktoberdorf, Federal Republic of Germany, July 25-August 6, 1989
• Φυσική περιγραφή: vi, 485 σ. : εικ. ; 25 εκ.
• Βιβλιογραφία: Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
• ISBN: 3540543155