gilles dowek
Principles of Programming Languages
EbookSofort lieferbarThe development of programming languages has profoundly impacted our relationship with language, ...
Introduction to the Theory of Programming Languages
EbookSofort lieferbarThe design and implementation of programming languages, from Fortran and Cobol to Caml and Java, ...
Proofs and Algorithms
EbookSofort lieferbarProofs and Algorithms: An Introduction to Logic and Computability
Computation, Proof, Machine
EbookSofort lieferbarComputation is revolutionizing our world, even the inner world of the 'pure' mathematician. Mathe...
Computation, Proof, Machine
EbookSofort lieferbarComputation is revolutionizing our world, even the inner world of the 'pure' mathematician. Mathe...
Automated Reasoning
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 4th International Joint Conference on Autom...
Rewriting and Typed Lambda Calculi
EbookSofort lieferbarThis book constitutes the refereed proceedings of the Joint 25th International Conference on Rewr...
Theorem Proving in Higher Order Logics
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 12th International Conference on Theorem Pr...
Introduction to the Theory of Programming Languages
TaschenbuchBezug 11-15The design and implementation of programming languages, from Fortran and Cobol to Caml and Java, ...
Proofs and Algorithms
TaschenbuchBezug 11-15Logic is a branch of philosophy, mathematics and computer science. It studies the required method...
Principles of Programming Languages
TaschenbuchBezug 11-15By introducing the principles of programming languages, using the Java language as a support, Gil...
Computation, Proof, Machine
BuchBezug 11-15To understand the future of mathematics, this fascinating book returns to its past, tracing the h...
- 1
- 2