Tacti-Based Inductive Theorem Prover for Data Types With Partial Operations
Series: Dissertations in Artificial Intelligence-Infix, 238
Publisher: Ios Pr Inc
Published: May 2000
Language: eng
Format: Paperback
Number of pages: 261
ISBN-13: 9781586031282
Subjects: Programming - General; Computers; Computer Books: General