Select
Explore
keyword: formal logic – 39 free books.
Login to Fave
Hana Chockler and Georg Weissenbacher, editors
AVAILABLE!
Login to Fave
Login to Fave
Tomas Vojnar and Lijun Zhang, editors
AVAILABLE!
Login to Fave
Login to Fave
Mikołaj Bojańczyk and Alex Simpson, editors
AVAILABLE!
Login to Fave
Login to Fave
Fundamental Approaches to Software Engineering
Esther Guerra and Mariëlle Stoelinga, editors
AVAILABLE!
Login to Fave
Dirk Beyer and Marieke Huisman, editors
AVAILABLE!
Login to Fave
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote and Kim Guldstrand Larsen, editors
AVAILABLE!
Login to Fave
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote and Kim Guldstrand Larsen, editors
AVAILABLE!
Login to Fave
Graph Structures for Knowledge Representation and Reasoning
Michael Cochez et al. (editors)
AVAILABLE!
Login to Fave
Login to Fave
Login to Fave
Login to Fave
Login to Fave
Login to Fave
Login to Fave
Login to Fave
Login to Fave