Journal on Satisfiability, Boolean Modeling and Computation (JSAT)
Volltext online seit: | Jg. 1, 2005 |
---|---|
Fachgebiet: | |
Schlagwort: | |
Webseite: | |
Verlag: | IOS Press ; Delft University |
Erscheinungsweise: | Volltext, nur online |
Kosten: | kostenlos |
ISSN (Onlineausgabe): | 1574-0617 |
ZDB-Nummer: | 2236905-3 |