International workshop on higher order logic theorem proving and its applications (1994 ; La Valette, Malte)

Création :19-09-1994
Fin d'activité :22-09-1994

Ses activités

Auteur du texte1 document

  • Higher order logic theorem proving and its applications

    7th international workshop, Valletta, Malta, September 19-22, 1994, proceedings

    Description matérielle : 1 vol. (IX-470 p.)
    Description : Note : Notes bibliogr.
    Édition : Berlin : Springer , cop. 1994
    Éditeur scientifique : Juanito Camilleri, Thomas F. Melham

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

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

  • Higher order logic theorem proving and its applications, cop. 1994
  • Internet, http://www.dcs.glasgow.ac.uk/~hug94/, 1996-06-01

Pages équivalentes