Suchfeld einblenden
Schlagwort Automatisches Beweisverfahren
111 Treffer
Dietrich, Roland: Vergleichende Analyse von Inferenzsystemen
/ Roland Dietrich. Ges. für Mathematik u. Datenverarbeitung mbH. - München : Oldenbourg, 1990. - 151 S.; 23 cm - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 188)
ISBN 978-3-486-21779-7 / 3-486-21779-8 kart. : DM 44.00
Quelle: DNB
