Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings /

Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings /

This book constitutes the refereed proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '98, held in Canberra, Australia, in September/October 1998. The 26 revised full papers presented were carefully reviewed and selected from a total of 52 submiss...

Full description

Bibliographic Details
Corporate Authors: TPHOLs Canberra, A.C.T., SpringerLink (Online service)
Other Authors: Grundy, J. (Jim), 1968-, Newey, Malcolm Charles
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [1998]
Series:Lecture notes in computer science ; 1479.
Subjects:
Automatic theorem proving > Congresses.
Logic, Symbolic and mathematical > Congresses.
COQ.
déduction automatique.
spécification formelle.
ISABELLE.
logique ordre élevé.
démonstration théorème.
HOL.
Théorèmes > Démonstration automatique > Congrès.
Logique symbolique et mathématique > Congrès.
Automatic theorem proving.
Logic, Symbolic and mathematical.
Logica.
Automatische bewijsvoering.
Inteligencia artificial.
Informatique.
Automatisches Beweisverfahren.
Kongress.
Electronic books.
Kongress > Canberra > 1998.
Conference proceedings.
Canberra (1998)
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA76.9.A96 T655 1998eb
 
Call Number Status Get It
QA76.9.A96 T655 1998eb Available