MENÜ 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 2 Ex. auf Lager
Versandkostenfrei innerhalb Deutschlands


Wollen auch Sie Ihre Dissertation veröffentlichen?