The automation of reasoning with incomplete information
Subtitle: from semantic foundations to efficient computation
By: Torsten Schaub
Series: Lecture notes in computer science -- 1409. -- Lecture notes in artificial intelligence; Lecture notes in computer science -- 1409.; Lecture notes in computer science
Publisher: Springer
Published: 1997
Place of publication: Berlin; New York
Language: eng
Format: [electronic resource] :
Number of pages: 159
ISBN-13: 9783540697930
Subjects: Automatic theorem proving
Notes: Includes bibliographical references.

Description based on print version record.