Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings


Workshop on Computer Science Logic
Bok Engelsk 1991

Detaljer

Bibliotek som har denne