Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/e119a92dfb0331c8ecdc63527852d1a80df921a027591ec6bafb43ea41d43eb0> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- e119a92dfb0331c8ecdc63527852d1a80df921a027591ec6bafb43ea41d43eb0 author "Susanne Biundo and Birgit Hummel and Dieter Hutter and Christoph Walther".
- e119a92dfb0331c8ecdc63527852d1a80df921a027591ec6bafb43ea41d43eb0 contribution "The Karlsruhe Induction Theorem Proving System".
- e119a92dfb0331c8ecdc63527852d1a80df921a027591ec6bafb43ea41d43eb0 editor "J.H. Siekmann".
- e119a92dfb0331c8ecdc63527852d1a80df921a027591ec6bafb43ea41d43eb0 isCitedBy Christoph_Walther.
- e119a92dfb0331c8ecdc63527852d1a80df921a027591ec6bafb43ea41d43eb0 pages "672—674".
- e119a92dfb0331c8ecdc63527852d1a80df921a027591ec6bafb43ea41d43eb0 publisher "Springer".
- e119a92dfb0331c8ecdc63527852d1a80df921a027591ec6bafb43ea41d43eb0 series "LNAI".
- e119a92dfb0331c8ecdc63527852d1a80df921a027591ec6bafb43ea41d43eb0 title "Proc. 8th CADE".
- e119a92dfb0331c8ecdc63527852d1a80df921a027591ec6bafb43ea41d43eb0 volume "230".
- e119a92dfb0331c8ecdc63527852d1a80df921a027591ec6bafb43ea41d43eb0 year "1986".