Helmut Schwichtenberg Books
Logic of Computation
The latest work by the world's leading authorities on the use of formal methods in computer science is presented in this volume, based on the 1995 International Summer School in Marktoberdorf, Germ...
Read More
Computer Science Logic
By
Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 ProceedingsAuthor: Peter G. Clote, Helmut Schwichtenberg Publi...
Read More
Logic of Computation
The latest work by the world's leading authorities on the use of formal methods in computer science is presented in this volume, based on the 1995 International Summer School in Marktoberdorf, Germ...
Read More