Computer science logic Dagstuhl-Seminar-Report; 40 13.07.-17.07.92(9229)

• Άλλοι συγγραφείς: Börger, E. 1946- (Egon) (Επιμελητής έκδοσης), Gurevich, Yuri (Επιμελητής έκδοσης), Kleine-Buning, Hans (Επιμελητής έκδοσης)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Θέματα: COMPUTER LOGIC; IBFI; SEMINAR REPORT