TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 1.

Aderhold, Markus ; Walther, Christoph ; Szallies, Daniel ; Schlosser, Andreas :
A Fast Disprover for VeriFun.
In: Proceedings Workshop on Non-Theorems, Non-Validity, Non-Provability (DISPROVING-06) Eds.: Wolfgang Ahrendt ; Peter Baumgartner ; Hans de Nivelle, S. 59-69,. - Seattle, WA, 2006. Federated Logic Conference.
[Konferenz- oder Workshop-Beitrag], (2006)

Diese Liste wurde am Sat Sep 23 07:18:03 2017 CEST generiert.