An edition of Theorem proving in higher order logics (1999)

Theorem Proving in Higher Order Logics

12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science)

By Yves Bertot,Gilles Dowek,Andre Hirschowitz

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

Publish Date

September 29, 1999

Publisher

Springer

Language

eng

Pages

359

Description:

subjects: Congresses, Automatic theorem proving, Congres, Theoremes, Linguagens formais e automatos, HOL, Kongress, Logica, Automatisches Beweisverfahren, Logica matematica, Demonstration automatique, Automatische bewijsvoering, Logic, symbolic and mathematical