Vai al contenuto

Sessione

Sessione

Caricamento sessione

Theorem proving in higher order logics

Accedi per salvarlo

★ —

Valutazione

—

Pagine

2003

Anno

Valuta questo libro

Tocca per valutare

Catalogo · 9783540482567

Theorem proving in higher order logics

Yves Bertot, Gilles Dowek, Andre Hirschowitz

ISBN 9783540482567

Descrizione non disponibile per questo libro.

Vedi su Google Books

La tua libreria

Accedi per aggiungere questo libro alla tua libreria.

Accedi Registrati

Lettori

Communitas attorno al libro

Letture affini

Copertina di From semantics to computer science

From semantics to computer science

Gilles Kahn, Yves Bertot

Copertina di Interactive Theorem Proving and Program Development

Interactive Theorem Proving and Program Development

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

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

Verba volant · scripta manent