Suchfeld einblenden
Person Bittel, Oliver
1 Treffer
Seite < 1 >
Bittel, Oliver: Ein tableaubasierter Theorembeweiser für die intuitionistische Logik
/ Oliver Bittel. Gesellschaft für Mathematik und Datenverarbeitung mbH. - München : Oldenbourg, 1991. - 184 S.; 23 cm - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 198)
ISBN 978-3-486-22143-5 / 3-486-22143-4 kart. : ca. DM 50.00
Literaturverz. S. 179 - 182
Quelle: DNB
Seite < 1 >
