Effiziente Subsumption in Deduktionssystemen

Shelfclass_id	4.B.3
Sortkey	BECKER, JOACHIM
Authors	Joachim Becker
Title	Effiziente Subsumption in Deduktionssystemen
Year	1994
Languages	ger
Record date	20080306