Konstruktiv adäquate Beweisautomatisierung für intuitionistische Logik von Daniel Korn | ISBN 9783898381987

Buch

Konstruktiv adäquate Beweisautomatisierung für intuitionistische Logik

Name: Konstruktiv adäquate Beweisautomatisierung für intuitionistische Logik
Author: Daniel Korn

Archivierter Titel, da nicht lieferbar.×

Einband - flex.(Paperback)

Softcover

229 Seiten

Verlag

Autor

erschienen im

März 1999

ISBN-10

3-89838-198-6

978-3-89838-198-7

Abmessungen

21 x 14,8 cm

Lieferstatus

nicht verfügbar

Preis

30,00 €*

ca. 15 km um Moreno Valley

**Mit der Eingabe/Ermittlung der Standortdaten willigen Sie der Datenverarbeitung gemäß unserer Datenschutzerklärung ein.