Computational logic /

• Συγγραφή απο Οργανισμό/Αρχή: NATO Advanced Study Institute on Computational Logic Marktoberdorf, Germany
• Άλλοι συγγραφείς: Berger, Ulrich, 1956- (επιμελητής.), Schwichtenberg, Helmut, 1955- (επιμελητής.)
• Μορφή: Πρακτικό Συνεδρίου Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin : Springer, 1999.
• Σειρά: NATO ASI series. Computer and systems sciences 165.
• Θέματα: Επιστήμη των υπολογιστών; Λογική, Συμβολική και μαθηματική