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
Versandkostenfrei innerhalb Deutschlands |
Wollen auch Sie Ihre Dissertation veröffentlichen?