Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Tobias_Nipkow> }
Showing triples 1 to 38 of
38
with 100 triples per page.
- Journal_of_Automated_Reasoning editor Tobias_Nipkow.
- Academic_genealogy_of_computer_scientists wikiPageWikiLink Tobias_Nipkow.
- Automated_theorem_proving wikiPageWikiLink Tobias_Nipkow.
- Confluence_(abstract_rewriting) wikiPageWikiLink Tobias_Nipkow.
- Critical_pair_(logic) wikiPageWikiLink Tobias_Nipkow.
- Franz_Baader wikiPageWikiLink Tobias_Nipkow.
- Isabelle_(proof_assistant) wikiPageWikiLink Tobias_Nipkow.
- Jan_Willem_Klop wikiPageWikiLink Tobias_Nipkow.
- Journal_of_Automated_Reasoning wikiPageWikiLink Tobias_Nipkow.
- List_of_computer_scientists wikiPageWikiLink Tobias_Nipkow.
- Nachum_Dershowitz wikiPageWikiLink Tobias_Nipkow.
- Proof_assistant wikiPageWikiLink Tobias_Nipkow.
- Reflexive_closure wikiPageWikiLink Tobias_Nipkow.
- Set_constraint wikiPageWikiLink Tobias_Nipkow.
- Summer_School_Marktoberdorf wikiPageWikiLink Tobias_Nipkow.
- Symmetric_closure wikiPageWikiLink Tobias_Nipkow.
- Termination_analysis wikiPageWikiLink Tobias_Nipkow.
- Unification_(computer_science) wikiPageWikiLink Tobias_Nipkow.
- books?vid=ISBN0-521-77920-0 author2 Tobias_Nipkow.
- books?vid=ISBN978-0-521-77920-3 author2 Tobias_Nipkow.
- 7b4025aa9e85ff4a7b6c9387e06e33e50050ac3479539a9a3df9421918fc8448 author3 Tobias_Nipkow.
- Journal_of_Automated_Reasoning editor Tobias_Nipkow.
- 41aa882bc027170c721bc2745c34105be48e16faef8473ded8f2d08654bc6862 editor Tobias_Nipkow.
- 9970a8632ea9ff8ec247f079d589154d1af871e780a94baeaba0774dfa25d77b editor Tobias_Nipkow.
- a95ae2be048e23d7206a7a836b45215b094822af5d41bb513a846ff7d17f4038 editor Tobias_Nipkow.
- d9d22e7f3d523e7dccae1d61af0f6dec1e4224c5d40bfacaed97c0aaceda3fff editor Tobias_Nipkow.
- books?vid=ISBN0-521-45520-0 isCitedBy Tobias_Nipkow.
- 117792669cab915d118bc270550ff1c708274fa3e373787295de5a07671c2539 isCitedBy Tobias_Nipkow.
- 171f7ae0d61d3573b42e8a500e5fd901f79390a5099e408700a3a6170be86f31 isCitedBy Tobias_Nipkow.
- 1bed1c1a08c30df6ee01dd2a79b9bc4f7ea545e7448d8d72552a9542510cea10 isCitedBy Tobias_Nipkow.
- 23adab486e8dafe28d27e0524a67470d83a0d1e99fe9f9d7bc16207d0ae7ef54 isCitedBy Tobias_Nipkow.
- 6c08d74b448c9825f91b187ae58bc404de197cb728066dde73f28612319e3f75 isCitedBy Tobias_Nipkow.
- 91256ace7e73726c795b44368381e8eca149ec240cd3c5389f3f5f4e1c1d3741 isCitedBy Tobias_Nipkow.
- a6fac9fcbe18bf77c84f1a97b2b40dc4f38ba897d8790c1daa12185defdd48ef isCitedBy Tobias_Nipkow.
- d66821cc7c92dd21820bd43fb23865562729b0043ec46dada1f972e3225d7efd isCitedBy Tobias_Nipkow.
- 1146809.1146811 isCitedBy Tobias_Nipkow.
- 96559.96569 isCitedBy Tobias_Nipkow.
- Tobias_Nipkow primaryTopic Tobias_Nipkow.