Notice de collectivité
- Notice
International conference on theorem proving in higher order logics (11 ; 1998 ; Canberra) forme internationale anglais
Congrès
Langue(s) :
multilingue
Responsabilité(s) exercée(s) sur les documents :
Auteur
Naissance :
1998-09-27
Mort :
1998-10-02
Forme(s) rejetée(s) :
< TPHOLs '98
< TPHOLs '98
Source(s) :
Theorem proving in higher order logics, cop. 1998
LCNA (en ligne - Internet), 1999-06-01
Theorem proving in higher order logics, cop. 1998
LCNA (en ligne - Internet), 1999-06-01
Identifiant de la notice : ark:/12148/cb134945861
Notice n° :
FRBNF13494586
Création :
99/06/01