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

著者

• Sinz, Carsten
• Egly, Uwe
• International Conference on Theory and Applications of Satisfiability Testing

書誌事項

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

Carsten Sinz, Uwe Egly (eds.)

（Lecture notes in computer science, 8561）

Springer, c2014

• : pbk

注記

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BB16539519
• ISBN:
  • 9783319092836
• LCCN: 2014943561
• 出版国コード: sz
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cham
• ページ数/冊数: xxvi, 448 p.
• 大きさ: 24 cm
• 親書誌ID:
  • BA00009279