Overview
- Ein besseres Verständnis theorembeweisender Methoden
Part of the book series: Computational Intelligence (CI)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (2 chapters)
Keywords
About the authors
Yunshan Zhu ist Mitarbeiter am selben Fachbereich der UNC. Sein Forschungsinteresse gilt dem automatischen Theorembeweisen, formalen Methoden und logikbasierten Methoden der Künstlichen Intelligenz.
Since 1984 David A. Plaisted is professor in the Department of Computer Science at the University of North Carolina. His current interests include theorem proving, term-rewriting systems and logic and functional programming.
Yunshan Zhu also is a member of the Department of Computer Science at the University of North Carolina. Zhu's current research interests include theorem proving, formal methods and logical approaches of Artificial Intelligence.
Bibliographic Information
Book Title: The Efficiency of Theorem Proving Strategies
Book Subtitle: A Comparative and Asymptotic Analysis
Authors: David A. Plaisted, Yunshan Zhu
Series Title: Computational Intelligence
DOI: https://doi.org/10.1007/978-3-322-93862-6
Publisher: Vieweg+Teubner Verlag Wiesbaden
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Fachmedien Wiesbaden 1997
eBook ISBN: 978-3-322-93862-6Published: 13 March 2013
Series ISSN: 2522-0519
Series E-ISSN: 2522-0527
Edition Number: 1
Number of Pages: VI, 167
Number of Illustrations: 2 b/w illustrations
Topics: Engineering, general