G Huet

G Huet is the author of "Interactive Theorem Proving and Program Development", "Logic, Algebra, and Computation" and "Fundamentals of Artificial Intelligence".

Books by G Huet

Fundamentals of A...
Bibel, Wolfgang
Paperback: $54.99

Fundamentals of A...
Bibel, Wolfgang
Paperback:

Logic, Algebra, a...
Brauer W.
Paperback: $109.99

Interactive Theor...
Bertot, Yves
Hardback: