Select
Explore
keyword: Logic in AI – 3 free books.
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote and Kim Guldstrand Larsen, editors
AVAILABLE!
Login to Fave
Login to Fave
Foundations of Software Science and Computation Structures
Jean Goubault-Larrecq and Barbara König (Professor of Information Engineering)
AVAILABLE!
Login to Fave