CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings


Workshop on Computer Science Logic
Bok Engelsk 1990

Detaljer

Bibliotek som har denne