Limit Search Results
Author
SpringerLink (Online service)
(152)
Dompere, Kofi Kissi. author.
(3)
Carnap, Rudolf, 1891-1970.
(2)
Chen, Jianer. editor.
(2)
Gabbay, Dov M., 1945-
(2)
Language
Subject
Computer science.
(110)
Logic design.
(99)
Software engineering.
(55)
Artificial intelligence.
(38)
Logic, Symbolic and mathematical.
(37)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
206 Results Found Subscribe to search results
00DEFAULT
Print
205. 
Cover image for Introduction to mathematics of satisfiability
Introduction to mathematics of satisfiability
Author 
Marek, V. W. (V. Wiktor), 1943, author.
Preferred Shelf Number 
QA9.3 .M37 2009
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Intelligent systems : modeling, optimization, and control
Intelligent systems : modeling, optimization, and control
Author 
Shin, Yung C., author. Xu, Chengying.
Preferred Shelf Number 
QA76.9 .S63 S55 2009
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action