Feedback

X
#1

keyword: Logic programming – 4 free books.

  • View As:
  • view list
  • view icon

Automated Reasoning

Jasmin Blanchette et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Automated Reasoning
Jasmin Blanchette et al. (editors)
No Faves
Read it Now

Automated Deduction – CADE 29

Brigitte Pientka and Cesare Tinelli, editors

More Info
AVAILABLE!
Read it Now
Book cover
Automated Deduction – CADE 29
Brigitte Pientka and Cesare Tinelli, editors
No Faves
Read it Now

Automated Deduction – CADE 28

André Platzer and Geoff Sutcliffe, editors

More Info
AVAILABLE!
Read it Now
Book cover
Automated Deduction – CADE 28
André Platzer and Geoff Sutcliffe, editors
No Faves
Read it Now

Mathematical Aspects of Logic Programming Semantics

Pascal Hitzler et al.

More Info
AVAILABLE!
Read it Now
Book cover
Mathematical Aspects of Logic Programming Semantics
Pascal Hitzler et al.
No Faves
Read it Now