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

• Other Authors: Börger, E. 1946- (Egon) (Editor), Gurevich, Yuri (Editor), Kleine-Buning, Hans (Editor)
• Format: Book
• Language: English
• Subjects: COMPUTER LOGIC; IBFI; SEMINAR REPORT