Relevancy Based Use of Lemmas in Connection Tableau Calculi
Series: Dissertations in Artificial Intelligence-Infix, 227
Publisher: Ios Pr Inc
Published: June 2000
Language: eng
Format: Paperback
Number of pages: 255
ISBN-13: 9781586031237
Subjects: Programming - General; Computers; Computer Books: General