Auflistung Nach Schlagwort "Automated Reasoning" - Digitale Bibliothek - Gesellschaft für Informatik e.V.

Anzeige der Dokumente 1-3 von 3

«
»

Higher-order theorem proving and its applications

Steen, Alexander
187-191
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses

Kuiter, Elias; Krieter, Sebastian; Sundermann, Chico; Thüm, Thomas; Saake, Gunter
83-84
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY

Knüppel, Alexander; Thüm, Thomas; Pardylla, Carsten Immanuel; Schaefer, Ina
165-166

Anzeige der Dokumente 1-3 von 3

«
»