Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter

Computer Science Logic - 1993 - Springer Berlin Heidelberg 1993 - Lecture Notes in Computer Science .

9783540478904


Computer Science