Theory and applications of satisfiability testing -- SAT 2014 [electronic resource] : 17th International Conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings / Carsten Sinz, Uwe Egly (eds.).
2014
QA76.9.A43
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Cite
Citation
Linked e-resources
Linked Resource
Details
Title
Theory and applications of satisfiability testing -- SAT 2014 [electronic resource] : 17th International Conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings / Carsten Sinz, Uwe Egly (eds.).
Meeting Name
ISBN
9783319092843 electronic book
3319092847 electronic book
9783319092836
3319092847 electronic book
9783319092836
Published
Cham : Springer, 2014.
Language
English
Description
1 online resource (xxvi, 448 pages) : illustrations.
Item Number
10.1007/978-3-319-09284-3 doi
Call Number
QA76.9.A43
Dewey Decimal Classification
005.1
Note
International conference proceedings.
Includes author index.
Includes author index.
Access Note
Access limited to authorized users.
Added Author
Series
Lecture notes in computer science ; 8561. 0302-9743
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources
Record Appears in