Journal on Satisfiability, Boolean Modeling and Computation (JSAT)
Publisher: | IOS Press ; Delft University |
ISSN: | 1574-0617 (electronic) |
ZDB-Number: | 2236905-3 |
Subjects: | Informatik , Mathematik |
Keywords: | Mathematische Informatik |
Homepage: | https://content.iospress.com/journals/journal-on-s… , http://jsatjournal.org/ |
Fulltext online since: | Vol. 1 (2005) |
Type of appearance: | Volltext, nur online |
Pricetype: | kostenlos |