The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence) - Softcover

Book 27 of 27: Computational Intelligence
 
9783528055745: The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence)
Softcover
ISBN 10: 352805574X ISBN 13: 9783528055745

Synopsis

Examining the efficiency of theorem proving strategies, this text provides a comparative and asymptotic anlaysis.

"synopsis" may belong to another edition of this title.

Book Description

A Comparative and Asymptotic Analysis

About the Author

David A. Plaisted ist seit 1984 Professor am Fachbereich Informatik der University of North Carolina. Seine gegenwärtigen Forschungen umfassen automatisches Theorembeweisen, Termersetzungssysteme sowie funktionale und Logikprogrammierung.
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.

"About this title" may belong to another edition of this title.

Language
German
ISBN 10 
352805574X
ISBN 13 
9783528055745
Binding
Paperback

Other Popular Editions of the Same Title

9783528155742: The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence)

Featured Edition

ISBN 10:  3528155744 ISBN 13:  9783528155742
Publisher: Vieweg+Teubner Verlag, 1999
Softcover