-
1
Theory and applications of satisfiability testing : 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings /
Published 2005Subjects: Full Text (via Springer)
Conference Proceeding eBook -
2
Theory and applications of satisfiability testing 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings /
Published 2005Subjects: Full Text (via Springer)
Electronic Conference Proceeding eBook -
3
Algorithmic decision theory : 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings /
Published 2015Subjects: “…Decision making Mathematical models Congresses. http://id.…”
Full Text (via Springer)
Conference Proceeding eBook