Notice de personne
- Notice
Nipkow, Tobias (1958-....) forme internationale
Pays :
Allemagne
Langue(s) :
anglais
Sexe :
Masculin
Responsabilité(s) exercée(s) sur les documents :
Auteur
Naissance :
1958-03-09
Informaticien. - En poste à Technische Universität München (en 2006).
Source(s) :
Isabelle : a generic theorem prover ; with contrib. by Tobias Nipkow, 1994 . - Automated Reasoning [Texte électronique] : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-22, 2001 Proceedings / edited by Rajeev Goré, Alexander Leitsch, Tobias Nipkow. - Berlin, Heidelberg : Springer-Verlag : Springer e-books, 2001 . - AVoCS '06 / [organized by LORIA, Laboratoire lorrain de recherche en informatique et ses applications] ; edited by Stephan Merz & Tobias Nipkow, [ca 2006] . - FM 2006 [Texte électronique] : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings / Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.). - Berlin ; New York : Springer, cop. 2006
Bibliothèque nationale, autorités, Allemagne : https://d-nb.info/gnd/17275660X (2024-09-27) . - LC Authorities : http://authorities.loc.gov (2024-09-27)
Isabelle : a generic theorem prover ; with contrib. by Tobias Nipkow, 1994 . - Automated Reasoning [Texte électronique] : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-22, 2001 Proceedings / edited by Rajeev Goré, Alexander Leitsch, Tobias Nipkow. - Berlin, Heidelberg : Springer-Verlag : Springer e-books, 2001 . - AVoCS '06 / [organized by LORIA, Laboratoire lorrain de recherche en informatique et ses applications] ; edited by Stephan Merz & Tobias Nipkow, [ca 2006] . - FM 2006 [Texte électronique] : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings / Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.). - Berlin ; New York : Springer, cop. 2006
Bibliothèque nationale, autorités, Allemagne : https://d-nb.info/gnd/17275660X (2024-09-27) . - LC Authorities : http://authorities.loc.gov (2024-09-27)
Identifiant international de l'autorité :
ISNI 0000 0001 1006 0849
, cf.
http://isni.org/isni/0000000110060849
Identifiant de la notice : ark:/12148/cb12478605w
Notice n° :
FRBNF12478605
Création :
95/08/23
Mise à jour :
24/09/27
