Sequents and Trees: An...
Andrzej Indrzejczak
Buy from $46.73
eBook from $16.50
|
Handbook of Satisfiability
Armin Biere
Buy from $228.49
eBook from $126.22
|
Elementary Point-Set Topology...
Andre L Yandl,
Adam Bowers
Buy from $12.49
eBook from $34.95
|
Theory and Applications of...
Matti Jarvisalo (Editor),
Allen Van Gelder (Editor)
Buy from $50.37
eBook from $16.50
|
Theory and Applications of...
Alessandro Cimatti (Editor),
Roberto Sebastiani (Editor)
Buy from $87.71
eBook from $16.50
|
Theory and Applications of...
Nadia Creignou (Editor),
Daniel Le Berre (Editor)
Buy from $51.65
eBook from $16.50
|
SAT 2005: Satisfiability...
Enrico Giunchiglia (Editor),
Toby Walsh (Editor)
Buy from $99.86
eBook from $47.70
|
Handbook of Satisfiability:...
Armin Biere (Editor),
Hans van Maaren (Editor)
Buy from $367.85
eBook from $161.39
|
