Tobias Nipkow

http://dbpedia.org/resource/Tobias_Nipkow an entity of type: Thing

Tobias Nipkow (born 1958) is a German computer scientist. rdf:langString
rdf:langString Tobias Nipkow
rdf:langString Tobias Nipkow
rdf:langString Tobias Nipkow
xsd:integer 43946143
xsd:integer 1117950749
rdf:langString Behavioural Implementation Concepts for Nondeterministic Data Types
xsd:integer 1987
xsd:integer 1958
rdf:langString Tobias Nipkow (born 1958) is a German computer scientist.
xsd:nonNegativeInteger 6598
owl:Thing
foaf:Person
dbpedia-owl:Person
<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson>
<http://www.wikidata.org/entity/Q19088>
<http://www.wikidata.org/entity/Q215627>
<http://www.wikidata.org/entity/Q5>
<http://www.wikidata.org/entity/Q729>
dbpedia-owl:Animal
dbpedia-owl:Eukaryote
dbpedia-owl:Scientist
dbpedia-owl:Species
schema-org:Person
<http://www.wikidata.org/entity/Q901>
<http://www21.in.tum.de/~nipkow>
dbpedia:Category:Living_people
dbpedia:Category:German_computer_scientists
dbpedia:Category:1958_births
dbpedia:Category:Technical_University_of_Munich_faculty
dbpedia:Category:Technische_Universität_Darmstadt_alumni
dbpedia:Category:Theoretical_computer_scientists
dbpedia:Cambridge_University
dbpedia:University_of_Manchester
dbpedia:Department_of_Computer_Science_of_TU_Darmstadt
dbpedia:Category:Living_people
dbpedia:Category:German_computer_scientists
dbpedia:Franz_Baader
dbpedia:Munich
dbpedia:MIT
dbpedia:Computer_science
dbpedia:Functional_programming
dbpedia:Journal_of_Automated_Reasoning
dbpedia:Category:1958_births
dbpedia:Category:Technical_University_of_Munich_faculty
dbpedia:Category:Technische_Universität_Darmstadt_alumni
dbpedia:Category:Theoretical_computer_scientists
dbpedia:Diplom
dbpedia:Journal_of_the_ACM
dbpedia:Nachum_Dershowitz
dbpedia:Technical_University_Munich
dbpedia:ACM_Transactions_on_Programming_Languages_and_Systems
dbpedia:LNCS
dbpedia:Lawrence_Paulson
dbpedia:Herbrand_Award
dbpedia:Isabelle_proof_assistant
dbpedia:Automatic_theorem_proving
dbpedia:Technische_Hochschule_Darmstadt
dbpedia:TU_Munich
dbpedia:Programming_language_semantics
dbpedia:Interactive_theorem_proving
dbpedia:Cliff_B._Jones
dbpedia:Type_systems
<http://www21.in.tum.de/~nipkow>
<http://www.worldcat.org/title/behavioural-implementation-concepts-for-nondeterministic-data-types/oclc/18002367>
<http://rdf.freebase.com/ns/m.0120y3t3>
<http://yago-knowledge.org/resource/Tobias_Nipkow>
<http://viaf.org/viaf/113774856>
<http://d-nb.info/gnd/112439985>
<http://d-nb.info/gnd/17275660X>
<http://d-nb.info/gnd/174092776>
<https://dblp.org/pid/n/TobiasNipkow>
<https://orcid.org/0000-0003-0730-515X>
<http://www.wikidata.org/entity/Q18217799>
<http://data.bibliotheken.nl/id/thes/p120012014>
<https://global.dbpedia.org/id/kwcv>
<http://www.worldcat.org/title/behavioural-implementation-concepts-for-nondeterministic-data-types/oclc/18002367>
dbpedia:Cambridge_University
dbpedia:MIT
dbpedia:TU_Munich
dbpedia:Template:Authority_control
dbpedia:Template:Cite_book
dbpedia:Template:Cite_journal
dbpedia:Template:Cite_thesis
dbpedia:Template:Reflist
dbpedia:Template:Short_description
dbpedia:Template:Infobox_scientist
dbpedia:Template:Compu-scientist-stub
dbpedia:Isabelle_proof_assistant
dbpedia:Munich
<http://www21.in.tum.de/~nipkow>
dbpedia:Cliff_B._Jones
dbpedia:Cliff_B._Jones
dbpedia:Cambridge_University
dbpedia:MIT
dbpedia:TU_Munich
dbpedia:Scientist
<http://viaf.org/viaf/113774856>
<http://en.wikipedia.org/wiki/Tobias_Nipkow?oldid=1117950749&ns=0>
dbpedia:Isabelle_proof_assistant
dbpedia:Munich
<http://en.wikipedia.org/wiki/Tobias_Nipkow>

data from the linked data cloud