-
1
Theory and applications of satisfiability testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012 : proceedings
Veröffentlicht 2012“… SAT Trient …”
DE-634
DE-Aug4
DE-M347
DE-92
DE-859
DE-91
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-739
URL des Erstveröffentlichers
Inhaltsverzeichnis
Elektronisch Tagungsbericht E-Book