International conference on theorem proving in higher order logics (11 ; 1998 ; Canberra)

Création :27-09-1998
Fin d'activité :02-10-1998
Autre forme du nom :TPHOLs '98

Ses activités

Auteur du texte1 document

  • Theorem proving in higher order logics

    11th international conference, TPHOLs '98, Canberra, Australia, September 27 - October 1, 1998, proceedings

    Description matérielle : 1 vol. (VIII-496 p.)
    Description : Note : Notes bibliogr.
    Édition : Berlin : Springer , 1998
    Éditeur scientifique : Jim Grundy, Malcolm Newey

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb37545200s]

Pages dans data.bnf.fr

Auteurs reliés

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

  • Theorem proving in higher order logics, cop. 1998
  • LCNA (en ligne - Internet), 1999-06-01

Autre forme du nom

  • TPHOLs '98

Pages équivalentes