Yazar
Yves Bertot
5 cilt bulundu.
Cilt sonuçları
Interactive Theorem Proving and Program Development
Yves Bertot · Springer Berlin Heidelberg
472 sayfa · 2004
Logic design / Computer network architectures / Software engineering / Computer science / Artificial intelligence
Interactive theorem proving and program development
Yves Bertot · Springer
469 sayfa · 2004
Automatic theorem proving / Computer programming / Calculus of operations / Proof theory / Formal languages
Theorem proving in higher order logics
Yves Bertot, Gilles Dowek, Andre Hirschowitz · Springer
359 sayfa · 1999
Congresses / Automatic theorem proving / Congres / Theoremes / Linguagens formais e automatos
From semantics to computer science
Gilles Kahn, Yves Bertot · Cambridge University Press
574 sayfa · 2009
Computer science / Semantics / Information technology / Computer scientists