. . . . . . . "VIAF" . "2018-09-24" . . . . . . . "2013-07-29"^^ . . . "0000000110060849" . . "1958"^^ . "Informaticien. - En poste à Technische Universität München (en 2006)"@fr . . "Tobias Nipkow" . . . "Informaticien. - En poste à Technische Universität München (en 2006)" . "12478605"^^ . . . . . . . "Nipkow" . . "1995-08-29" . . . . "Tobias" . . . . . . . . . . "Tobias Nipkow"@fr . . . "Informaticien. - En poste à Technische Universität München (en 2006)" . . "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]. - . -"@fr . . . "male" . . . . . . . . .