Notice de collectivité
- Notice
International workshop on higher order logic theorem proving and its applications
(1992 ; Louvain, Belgique) forme internationale anglais
Congrès
Langue(s) :
multilingue
Responsabilité(s) exercée(s) sur les documents :
Auteur
Naissance :
1992-09-21
Mort :
1992-09-24
Source(s) :
Higher order logic theorem proving and its applications, cop. 1993
Higher order logic theorem proving and its applications, cop. 1993
Identifiant de la notice : ark:/12148/cb144049554
Notice n° :
FRBNF14404955
Création :
02/04/25
Mise à jour :
02/04/25
