green 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