Feedback

X
#1

keyword: Logic in AI – 3 free books.

  • View As:
  • view list
  • view icon

Tools and Algorithms for the Construction and Analysis of Systems

Jan Friso Groote and Kim Guldstrand Larsen, editors

AVAILABLE!
Book cover
Jan Friso Groote and Kim Guldstrand Larsen, editors
AVAILABLE!
Book cover

Foundations of Software Science and Computation Structures

Jean Goubault-Larrecq and Barbara König (Professor of Information Engineering)

AVAILABLE!
Book cover
Jean Goubault-Larrecq and Barbara König (Professor of Information Engineering)