TU Darmstadt / ULB / TUbiblio

Computing Induction Axioms

Walther, Christoph Voronkov, Andrei (ed.) (1992):
Computing Induction Axioms.
pp. 381-392, Springer, Proc. of the Inter. Conf. on Logic Programming and Automated Reasoning (LPAR-1992), St. Petersburg, Russia, 15.-20.07.1992, ISSN 978-3-540-55727-2, e-ISSN 978-3-540-47279-7,
DOI: 10.1007/BFb0013076,
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 1992
Editors: Voronkov, Andrei
Creators: Walther, Christoph
Title: Computing Induction Axioms
Language: English
Publisher: Springer
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Programming Methodology
Event Title: Proc. of the Inter. Conf. on Logic Programming and Automated Reasoning (LPAR-1992)
Event Location: St. Petersburg, Russia
Event Dates: 15.-20.07.1992
Date Deposited: 28 Jul 2020 08:17
DOI: 10.1007/BFb0013076
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details