Yazar
Enrico Giunchiglia
3 cilt bulundu.
Cilt sonuçları
Theory and applications of satisfiability testing
Enrico Giunchiglia · Springer
530 sayfa · 2004
Computer algorithms / Propositional calculus / Congresses / Decision making / Calculus
SAT 2005
Enrico Giunchiglia, Toby Walsh · Springer
297 sayfa · 2006
Computer algorithms / Computational complexity / Propositional calculus / Artificial intelligence / Computer science
Icaps Proceedings, Thirteenth International Conference on Automated Planning, and Scheduling
Enrico Giunchiglia · AAAI Press
306 sayfa · 2003
Artificial intelligence / Congresses / Planning / Data processing