Theory and applications of satisfiability testing--SAT 2014 : 17th international conference : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8561)

Theory and applications of satisfiability testing--SAT 2014 : 17th international conference : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria.

(Lecture Notes in Computer Science ; 8561)

Call No. (NDL): M17-15-1591
Bibliographic ID of National Diet Library: 026244536

Material type: 図書

Author: SAT 2014 (2014 : Vienna, Austria)ほか

Publisher: Springer

Publication date: [2014]

Material Format: Paper

Capacity, size, etc.: xxvi, 448 pages ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: An abstract and papers."The Vienna Summer of Logic (VSL, ...) consisted of twelve large conferences and 82 workshops, ..."--Foreword."The Internationa...

Other physical details：: illustrations

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 9783319092836
3319092839
ISBN (error code): 9783319092843 (electronic bk.)
3319092847 (electronic bk.)
ISSN (series): 0302-9743
Title: Theory and applications of satisfiability testing--SAT 2014 : 17th international conference : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria.
Series Title: Lecture Notes in Computer Science ; 8561
Title Heading: Lecture notes in computer science ; 8561.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Author Heading: SAT 2014 (2014 : Vienna, Austria)
Sinz, Carsten.
Egly, Uwe, 1960-
Kurt Godel Society.
Publication, Distribution, etc.: Cham : Springer (出版)
Publication Date: [2014]
Publication Date (W3CDTF): 2014
Extent: xxvi, 448 pages
Other physical details: illustrations
Size: 24 cm.
Alternative Title: Vienna summer of logic 2014
Place of Publication (Country Code): CH
Text Language Code: eng
Genre/Form Terms: Conference proceedings.
Content Type: text
Media Type: unmediated
Carrier Type: volume
Subject Heading: Computer algorithms--Congresses.
Computer software--Verification--Congresses.
Computer algorithms.
Computer software--Verification.
NDLC: M17
Target Audience: 一般
Note (General): An abstract and papers.
"The Vienna Summer of Logic (VSL, ...) consisted of twelve large conferences and 82 workshops, ..."--Foreword.
"The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the primary annual meeting ..."--Preface.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-15-1591
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 026244536
http://id.ndl.go.jp/bib/026244536
OCLC No.: 894833731
https://www.worldcat.org/oclc/894833731
Cataloging Rule: RDA
Bibliographic Record Category (NDL): 215