Library of American University of Madaba
Your cart is empty.
Theory and applications of satisfiability testing : 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings /
Authors: Bacchus, Fahiem.%editor | Walsh, Toby.%editor Series: Lecture notes in computer science ; 0302-9743 ; . 3569 Published by : Springer, (New York :) Physical details: xii, 492 p. : ill. ; 24 cm. ISBN: 3540262768 Subject(s): Propositional calculus %Congresses. | Decision making %Congresses. | Computer algorithms %Congresses. Year: 2005Online Resources:
-
Table of contents
-
http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3569
- Restricted to SpringerLink subscribers
-
Publisher description
Tags from this library:
No tags from this library for this title.
| Item type | Location | Call Number | Status | Date Due |
|---|---|---|---|---|
 Book |
AUM Main Library English Collections Hall | 511.3 S253 (Browse Shelf) | Available | |
| Book |
AUM Main Library English Collections Hall | 511.3 S253 (Browse Shelf) | Available | |
| Book |
AUM Main Library English Collections Hall | 511.3 S253 (Browse Shelf) | Available |
Includes bibliographical references and index.
Also issued online.
There are no comments for this item.