Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Christoph_Walther> ?p ?o }
Showing triples 1 to 77 of
77
with 100 triples per page.
- Christoph_Walther abstract "Christoph Walther (born 9 Aug 1950)is a German computer scientist, known for his contributions to automated theorem proving.He is Professor emeritus at Darmstadt University of Technology.".
- Christoph_Walther almaMater Karlsruhe_Institute_of_Technology.
- Christoph_Walther birthDate "1950-08-09".
- Christoph_Walther knownFor Walther_recursion.
- Christoph_Walther wikiPageExternalLink On-proving-termination-AIJ-71-1_1994-2.pdf.
- Christoph_Walther wikiPageExternalLink Termination-Analysis-Functional-Progs-SPP-Kluwer-1998.ps.
- Christoph_Walther wikiPageExternalLink VeriFun_Tutorial_VFR-02-04_6-Nov-02.pdf.
- Christoph_Walther wikiPageExternalLink VeriFun_User_Guide_VFR-02-01_27-Oct-02.pdf.
- Christoph_Walther wikiPageExternalLink Combining_Induction_Axioms_by_Machine_IJCAI-13_1993.pdf.
- Christoph_Walther wikiPageExternalLink Computing_Induction_Axioms_LPAR-1992-web.pdf.
- Christoph_Walther wikiPageExternalLink Handbook_LAI_LP-Mathematical_Induction.pdf.
- Christoph_Walther wikiPageExternalLink cade-2003-about-vf-springer.pdf.
- Christoph_Walther wikiPageExternalLink lpar-2005-termination_incomplete-springer.pdf.
- Christoph_Walther wikiPageExternalLink christophwalther.de.jsp.
- Christoph_Walther wikiPageID "45466408".
- Christoph_Walther wikiPageLength "7613".
- Christoph_Walther wikiPageOutDegree "21".
- Christoph_Walther wikiPageRevisionID "650216977".
- Christoph_Walther wikiPageWikiLink Andrei_Voronkov.
- Christoph_Walther wikiPageWikiLink Artificial_Intelligence_(journal).
- Christoph_Walther wikiPageWikiLink Automated_theorem_proving.
- Christoph_Walther wikiPageWikiLink Category:1950_births.
- Christoph_Walther wikiPageWikiLink Category:German_computer_scientists.
- Christoph_Walther wikiPageWikiLink Category:Karlsruhe_Institute_of_Technology_alumni.
- Christoph_Walther wikiPageWikiLink Category:Living_people.
- Christoph_Walther wikiPageWikiLink Category:Technische_Universität_Darmstadt_alumni.
- Christoph_Walther wikiPageWikiLink Conference_on_Automated_Deduction.
- Christoph_Walther wikiPageWikiLink Dov_Gabbay.
- Christoph_Walther wikiPageWikiLink Emeritus.
- Christoph_Walther wikiPageWikiLink Franz_Baader.
- Christoph_Walther wikiPageWikiLink International_Joint_Conference_on_Artificial_Intelligence.
- Christoph_Walther wikiPageWikiLink John_Alan_Robinson.
- Christoph_Walther wikiPageWikiLink Karlsruhe_Institute_of_Technology.
- Christoph_Walther wikiPageWikiLink Lecture_Notes_in_Computer_Science.
- Christoph_Walther wikiPageWikiLink Logic_for_Programming,_Artificial_Intelligence_and_Reasoning.
- Christoph_Walther wikiPageWikiLink Technische_Universität_Darmstadt.
- Christoph_Walther wikiPageWikiLink Termination_analysis.
- Christoph_Walther wikiPageWikiLink Walther_recursion.
- Christoph_Walther wikiPageWikiLinkText "Christoph Walther".
- Christoph_Walther wikiPageWikiLinkText "Walther".
- Christoph_Walther almaMater Karlsruhe_Institute_of_Technology.
- Christoph_Walther birthDate "1950-08-09".
- Christoph_Walther doctoralAdvisor "Peter Deussen".
- Christoph_Walther doctoralStudents "Jürgen Giesl, Josef Schneeberger".
- Christoph_Walther knownFor Walther_recursion.
- Christoph_Walther thesisTitle "A Many-Sorted Calculus Based on Resolution and Paramodulation".
- Christoph_Walther thesisYear "1984".
- Christoph_Walther wikiPageUsesTemplate Template:Birth_date_and_age.
- Christoph_Walther wikiPageUsesTemplate Template:Cite_book.
- Christoph_Walther wikiPageUsesTemplate Template:Cite_journal.
- Christoph_Walther wikiPageUsesTemplate Template:Cite_report.
- Christoph_Walther wikiPageUsesTemplate Template:Compu-scientist-stub.
- Christoph_Walther wikiPageUsesTemplate Template:Infobox_scientist.
- Christoph_Walther wikiPageUsesTemplate Template:MathGenealogy.
- Christoph_Walther wikiPageUsesTemplate Template:Reflist.
- Christoph_Walther subject Category:1950_births.
- Christoph_Walther subject Category:German_computer_scientists.
- Christoph_Walther subject Category:Karlsruhe_Institute_of_Technology_alumni.
- Christoph_Walther subject Category:Living_people.
- Christoph_Walther subject Category:Technische_Universität_Darmstadt_alumni.
- Christoph_Walther hypernym Scientist.
- Christoph_Walther type Agent.
- Christoph_Walther type Person.
- Christoph_Walther type Scientist.
- Christoph_Walther type Person.
- Christoph_Walther type Agent.
- Christoph_Walther type NaturalPerson.
- Christoph_Walther type Thing.
- Christoph_Walther type Q215627.
- Christoph_Walther type Q5.
- Christoph_Walther type Q901.
- Christoph_Walther type Person.
- Christoph_Walther comment "Christoph Walther (born 9 Aug 1950)is a German computer scientist, known for his contributions to automated theorem proving.He is Professor emeritus at Darmstadt University of Technology.".
- Christoph_Walther label "Christoph Walther".
- Christoph_Walther sameAs m.012w4v2x.
- Christoph_Walther wasDerivedFrom Christoph_Walther?oldid=650216977.
- Christoph_Walther isPrimaryTopicOf Christoph_Walther.