Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Exoplanets Artists Albums Gazetteer Search

Home
Books
Yves Bertot

Yves Bertot

No biography available.

Works (3)

Cover of Interactive Theorem Proving and Program Development

Interactive Theorem Proving and Program Development

Cover of Theorem proving in higher order logics

Theorem proving in higher order logics

Cover of Interactive theorem proving and program development

Interactive theorem proving and program development

View on Open Library ↗ · data from Open Library (CC0)

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.