Notice de personne
- Notice
Siekmann, Jörg H. (1941-....) forme internationale
Pays :
Allemagne
Langue(s) :
allemand
Responsabilité(s) exercée(s) sur les documents :
Auteur
Naissance :
1941-05-08
Écrit aussi en anglais.
Informaticien. - En poste à l'Universität Karlsruhe, Institut für Informatik I, Karslruhe, RFA (en 1983). - Co-éditeur de la collection :"Symbolic computation. Artificial intelligence" publiée chez Springer.
Informaticien. - En poste à l'Universität Karlsruhe, Institut für Informatik I, Karslruhe, RFA (en 1983). - Co-éditeur de la collection :"Symbolic computation. Artificial intelligence" publiée chez Springer.
Source(s) :
Automation of reasoning : classical papers on computational logic / ed. by Jörg Siekmann and Graham Wrightson, 1983
LCNA (CD OCLC), 1993-09
Automation of reasoning : classical papers on computational logic / ed. by Jörg Siekmann and Graham Wrightson, 1983
LCNA (CD OCLC), 1993-09
Identifiant international de l'autorité :
ISNI 0000 0000 8173 0662
, cf.
http://isni.org/isni/0000000081730662
Identifiant de la notice : ark:/12148/cb12350063w
Notice n° :
FRBNF12350063
Création :
93/11/16
Mise à jour :
93/11/17
