Tacti-Based Inductive Theorem Prover for data Types with Partial Operations

Share
Author
K├╝lher, U.
Pub. date
January 2000
Pages
261
Binding
softcover
Volume
238 of Dissertations in Artificial Intelligence
ISBN print
978-1-58603-128-2
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science