-
1
-
2
-
3
-
4
-
5
-
6
-
7
Theory and applications of satisfiability testing - SAT 2014 17th international conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14 - 17, 201...
Veröffentlicht 2014BTU01
FHM01
FHN01
FKE01
FRO01
TUM01
UBA01
UBG01
UBT01
UBW01
UBY01
UER01
UPA01
Volltext
Inhaltsverzeichnis
Abstract
Elektronisch Tagungsbericht E-Book