Welcome
Copyright © SirsiDynix. All rights reserved.
(Build horizon-8.0.1.5407)
Center Of Excellence for Jordanian Public University Library System (COE-JOPULS)
العربية (السعودية)
English (United States)
Log in
Help
Welcome
Jordanian Union Catalogue
360 Search
Search Libraries Catalogue
Simple
Advanced
Power
Community Resource
Search History
My List
My Account
Search
Options
Refine
Start Over
Show details
Hide details
Duplicate Items
Add to My List
Print
Sorts and Limits
Sorts:
None
Author
Publication Date
Publisher
Subject
Title
Title:
Theory and Applications of Satisfiability Testing (vol. # 3542) 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers edited by Holger H. Hoos, David G. Mitchell.
Lecture notes in computer science,
Main Entry:
Hoos, Holger H.
Mitchell, David G.
SpringerLink (Online service)
Publisher:
Springer-Verlag GmbH.,
Publication Date:
2005
Publication Place:
Berlin Heidelberg :
ISBN:
9783540315803
Subject:
Artificial intelligence
Computer science
Computer software
Electronic data processing
Logic, Symbolic and mathematical
Operating systems (Computers)
Computer science
Algorithm Analysis and Problem Complexity
Artificial Intelligence (incl. Robotics)
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
Numeric Computing
Operating systems
Series:
Lecture notes in computer science, 3542
Related Records:
Springer e-books
Cover Image:
Results 1 - 2 of 2
Agency:
Collection:
Item Type:
Status:
Barcode:
Media Type:
JUST Main Library
Electronic Resources
No Circulation
Available Online
-238617
Book
JUST Main Library
Electronic Resources
No Circulation
Available Online
-242694
Book