Notice de personne
- Notice
Ritter, Eike forme internationale
Langue(s) :
anglais
Sexe :
Masculin
Responsabilité(s) exercée(s) sur les documents :
Auteur
Naissance :
19..
En poste : University of Birmingham, GB (en 2004).
Source(s) :
Reductive logic and proof-search : proof theory, semantics, and control / David J. Pym and Eike Ritter, 2004
LC Authorities : http://authorities.loc.gov (2006-07-26)
Reductive logic and proof-search : proof theory, semantics, and control / David J. Pym and Eike Ritter, 2004
LC Authorities : http://authorities.loc.gov (2006-07-26)
Identifiant international de l'autorité :
ISNI 0000 0001 1561 7159
, cf.
http://isni.org/isni/0000000115617159
Identifiant de la notice : ark:/12148/cb150841989
Notice n° :
FRBNF15084198
Création :
06/07/26
