Theorem proving in higher order logics

Ediciones (2)

• Theorem Proving in Higher Order Logics (2003)

  Springer London, Limited · inglés · ISBN 9783540482567

• Theorem Proving in Higher Order Logics (1999)

  Springer · inglés · ISBN 9783540664635

Más obras de Yves Bertot

FFrom semantics to computer science

From semantics to computer science

Interactive Theorem Proving and Program Development

PProceedings of the 6th ACM SIGPLAN Conference on Certified P

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs

Interactive theorem proving and program development

Ver todas las obras de Yves Bertot →