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 MoreComputer 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 MoreLogic 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