MENÜ
Improving Proof Search in Intuitionistic Propositional Logic
Klaus Weich
ISBN 978-3-89722-767-5
139 Seiten, Erscheinungsjahr: 2001
Preis: 40.50 €
Keywords:
- intuitionistic logic
- proof search
- proof-as-programs
- correct-by-construction
- program verification
KAUFOPTIONEN
| 40.50 € | ||
| Nur noch 1 Ex. auf Lager | ||
| Versandkostenfrei innerhalb Deutschlands | ||
Wollen auch Sie Ihre Dissertation veröffentlichen?
Logos Verlag Berlin GmbH, Georg-Knorr-Str. 4, Geb. 10, D-12681 Berlin, Tel.: +49 (0)30 4285 1090, FAX: +49 (0)30 4285 1092 Datenschutz