Suchfeld einblenden
Person Anlauff, Matthias
1 Treffer
Seite < 1 >
Anlauff, Matthias: Rechnerunterstützung formaler Beweissprachen
/ Matthias Anlauff. Gesellschaft für Mathematik und Datenverarbeitung mbH. - München : Oldenbourg, 1995. - XII, 162 S. : graph. Darst. - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 244)
ISBN 978-3-486-23396-4 / 3-486-23396-3 kart. : ca. DM 50.00
Quelle: DNB
Seite < 1 >
