Deduktionssysteme: Automatisierung des logischen Denkens

Automatisierung

von: Karl H Bläsius · Hans J Bürckert

Broschiert

ISBN: 978-3-486-22033-9

ISBN-10: 3-486-22033-0

Oldenbourg Wissenschaftsverlag · 1992