Lib
ron
Gesamtbestand
Neuzugänge
Erweiterte Suche
Schriftgröße
A−
A
A+
Darstellung
Clean
Warm
Dark
Deep dark
„QBF Programming“
Suchergebnisse
2 Treffer
Handbook of Parallel Constraint Reasoning
Sais, Lakhdar ; Hamadi, Youssef
2018
Springer International Publishing
QBF Programming with the Modeling Language Bule
Jung, Jean Christoph ; Mayer-Eichberger, Valentin ; Saffidine, Abdallah
2022
Schloss Dagstuhl – Leibniz-Zentrum für Informatik