Ebook: Theory and applications of satisfiability testing - SAT 2018: 21st international conference, SAT 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018: proceedings
- Genre: Computers // Lectures; monographs
- Tags: Agent (Informatik), Informationssystem., CASE (Informatik), Requirements engineering., World Wide Web., Wissensmanagement.
- Series: Springer Lecture notes in computer science 10929
- Year: 2018
- Publisher: Springer
- City: Oxford
- Language: English
- pdf
Download the book Theory and applications of satisfiability testing - SAT 2018: 21st international conference, SAT 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018: proceedings for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)