Suchergebnisse - SAT Austin, Tex

  • Treffer 1 – 2 von 2
Treffer filtern
  1. 1
    Buchumschlag

    Theory and applications of satisfiability testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, proceedings

    Veröffentlicht 2015
    “… SAT Austin, Tex …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Theory and applications of satisfiability testing - SAT 2015: 18th international conference, Austin, TX, USA, September 24 - 27, 2015 ; proceedings

    Veröffentlicht 2015
    “… SAT Austin, Tex …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: