Book serie: / Книги серии: Lecture Notes in Computer Science 702 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 702

book Computer Science Logic: 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers

Computer Science Logic: 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers

djvu

Author: Stål Aanderaa (auth.) E. Börger G. Jäger H. Kleine Büning S. Martini M. M. Richter (eds.)
Language: English
Year: 1993

00

26.01.2024

2

0