New Foundations for Automation of Default Reasoning

Shelfclass_id	4.B.2
Sortkey	LINKE, THOMAS
Authors	Thomas Linke
Title	New Foundations for Automation of Default Reasoning
Publisher	Infix
Year	2000
Languages	eng
Isbn	3898382370
Series	DISKI
Volume	237
Record date	20060906
Location	Sankt Augustin