Feedback
keyword: formalization – 3 free books.
Tableau Methods for Propositional Logic and Term Logic
Tomasz Jarmużek
Über die Formalisierung und Analyse medizinischer Prozesse im Kontext von Expertenwissen und künstlicher Intelligenz
Patrick Philipp
Big Data Computing for Geospatial Applications
Zhenlong Li et al. (editors)