Journal on satisfiability, Boolean modeling and computation (Ηλεκτρονικό)
Τίτλος | Journal on satisfiability, Boolean modeling and computation. |
Τίτλος κλειδί | Journal on satisfiability, Boolean modeling and computation (Online) |
ISSN | 1574-0617 |
Έτη έκδοσης | 2008- |
Δημοσίευση | Delft : Technische Universiteit Delft |
Πνευματική υπευθυνότητα | Technische Universiteit Delft |
Γλώσσα | Αγγλική |
Χώρα | Ολλανδία |
Άλλη έκδοση σε διαφορετικό μέσο | Journal on satisfiability, Boolean modeling and computation (Print) [ISSN 1875-5011] |
UDC Ταξινόμηση | 004 (15th Dutch ed.) |
Ηλεκτρονική Τοποθεσία | http://iospress.nl |