Automated Deduction in Nonstandard Logics: Working notes

Shelfclass_id	4.B.3
Sortkey	AAAI 1993
Title	Automated Deduction in Nonstandard Logics: Working notes
Year	1993
Languages	eng
Series	Fall sympsosium series
Record date	20071023