Theory and applications of satisfiability testing : 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings


SAT 2005
Bok Engelsk 2005

Detaljer

Bibliotek som har denne