Assertion level proof planning with compiled strategies

Zugl.: Universität des Saarlandes, Diss., 2011

Bibliographische Detailangaben

1. Verfasser:	Dietrich, Dominik (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Göttingen, Niedersachs Optimus Mostafa Verlag 2011
Ausgabe:	1., Auflage
Schlagworte:	Hochschulschrift > Beweistheorie > Automatisches Beweisverfahren
Online Zugang:	Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!