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.

• 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.
• 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
• Additional Title: federated logic conference (FLoC) : Jul 2014, Vienna, Austria.
• 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