helmut schwichtenberg
Proofs and Computations
EbookSofort lieferbarDriven by the question, 'What is the computational content of a (formal) proof?', this book studi...
Logic of Computation
EbookSofort lieferbarThe Marktoberdorf Summer School 1995 'Logic of Computation' was the 16th in a series of Advanced ...
Proof and Computation
EbookSofort lieferbarLogical concepts and methods are of growing importance in many areas of computer science. The pro...
Computational Logic
EbookSofort lieferbarRecent developments in computer science clearly show the need for a better theoretical foundation...
Logic and Algebra of Specification
EbookSofort lieferbarFor some years, specification of software and hardwaresystems has been influenced not only by...
Computer Science Logic
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 13th International Workshop on Computer Sci...
Proof and System-Reliability
EbookSofort lieferbarAs society comes to rely increasingly on software for its welfare and prosperity there is an urge...
Proofs and Computations
BuchBezug 11-15This major graduate-level text provides a detailed, self-contained coverage of proof theory.
Computational Logic
BuchBezug 11-15Recent developments in computer science clearly show the need for a better theoretical foundation...
Proof and Computation
TaschenbuchBezug 11-15Logical concepts and methods are of growing importance in many areas of computer science. The pro...
Proof and System-Reliability
TaschenbuchBezug 11-15As society comes to rely increasingly on software for its welfare and prosperity there is an urge...
Computer Science Logic
TaschenbuchBezug 11-15CSL is the annual conference of the European Association for Computer Science Logic (EACSL). CSL2...
- 1
- 2