Feedback

X
#1

keyword: constraint solving – 2 free books.

-gtbg These books are not included in Project Gutenberg.

  • View As:
  • view list
  • view icon

Frontiers of Combining Systems

Uli Sattler and Martin Suda, editors

AVAILABLE!
Book cover
Uli Sattler and Martin Suda, editors

Automated Deduction – CADE 29

Brigitte Pientka and Cesare Tinelli, editors

AVAILABLE!
Book cover
Brigitte Pientka and Cesare Tinelli, editors