Notice de personne
- Notice
Kohlhase, Michael forme internationale
Langue(s) :
anglais
Sexe :
Masculin
Responsabilité(s) exercée(s) sur les documents :
Auteur
Naissance :
19..
En poste : Fachbereich Informatik, Universität des Saarlandes, Saarbrücken, Allemagne
(en 2001).
Source(s) :
Symbolic computation and automated reasoning / ed. by Manfred Kerber and Michael Kohlhase, cop. 2001
Symbolic computation and automated reasoning / ed. by Manfred Kerber and Michael Kohlhase, cop. 2001
Identifiant international de l'autorité :
ISNI 0000 0000 5519 9011
, cf.
http://isni.org/isni/0000000055199011
Identifiant de la notice : ark:/12148/cb14608534c
Notice n° :
FRBNF14608534
Création :
05/02/24