Deduktion: Automatisierung der Logik. Handubuch der Informatik.

Shelfclass_id	4.M
Sortkey	BIBEL, WOFLGANG
Authors	Wolfgang Bibel, WOFLGANG BIBEL
Title	Deduktion: Automatisierung der Logik. Handubuch der Informatik.
Publisher	Oldenbourg
Year	1992
Languages	ger
Isbn	3486207857
Record date	20080306
Location	Munchen