Connection Tableau Calculi With Disjunctive Contraints
Series: Dissertations in Artificial Intelligence-Infix, 217
Publisher: Ios Pr Inc
Published: March 1999
Language: eng
Format: Paperback
Number of pages: 214
ISBN-13: 9781586031176
Subjects: Programming - General; Computers; Computer Books: General