Explore
keyword: formal logic – 43 free books.
These books are included in the Directory of Open Access Books. This means that they have been peer-reviewed and are of interest to scholars.
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
Login to Fave
Login to Fave
Login to Fave
Login to Fave
Login to Fave
Login to Fave
Login to Fave
Graph Structures for Knowledge Representation and Reasoning
Michael Cochez et al. (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
Fundamental Approaches to Software Engineering
Esther Guerra and Mariëlle Stoelinga, editors
AVAILABLE!
Login to Fave