Deontic Logic in Computer Science

le Meyden, Ron van der, Torre, Leendert van der
Foilsithe 2020

Algebraic and Proof-theoretic Aspects of Non-classical Logics

le Aguzzoli, S., Ciabattoni, A., Gerla, B., Manara, C., Marra, V.
Foilsithe 2020

Conditionals, Information, and Inference

Foilsithe 2020

Logic, Language, and Computation

Foilsithe 2020

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Foilsithe 2020

Case-Based Reasoning Research and Development

le Munoz-Avila, Hector, Ricci, Francesco
Foilsithe 2020

Chinese Lexical Semantics

le Wu, Yunfang, Hong, Jia-Fei, Su, Qi
Foilsithe 2020

Reasoning Web. Semantic Interoperability on the Web

le Ianni, Giovambattista, Lembo, Domenico, Bertossi, Leopoldo, Faber, Wolfgang, Glimm, Birte, Gottlob, Georg, Staab, Steffen
Foilsithe 2020

Teaching Formal Methods

Foilsithe 2020

Foundations of Fuzzy Logic and Soft Computing

le Melin, Patricia, Castillo, Oscar, Aguilar, Luis T., Pedrycz, Witold
Foilsithe 2020

Frontiers of Combining Systems

le Konev, Boris, Wolter, Frank
Foilsithe 2020

Machine Learning and Data Mining in Pattern Recognition

le Perner, Petra
Foilsithe 2020

Finite Model Theory and Its Applications

le Grädel, Erich, Kolaitis, Phokion G., Libkin, Leonid, Marx, Maarten, Spencer, Joel, Vardi, Moshe Y., Venema, Yde, Weinstein, Scott
Foilsithe 2020

Concise Guide to Formal Methods

le O'Regan, Gerard
Foilsithe 2020

Logic, Language, Information, and Computation

le Moss, Lawrence S., Queiroz, Ruy de, Martinez, Maricarmen
Foilsithe 2020

Machine Learning and Data Mining in Pattern Recognition

Foilsithe 2020

Frontiers of Combining Systems

le Gramlich, Bernhard
Foilsithe 2020

Frontiers of Combining Systems

Foilsithe 2020

Pillars of Computer Science

le Avron, Arnon, Dershowitz, Nachum, Rabinovich, Alexander
Foilsithe 2020

Fuzzy Systems and Knowledge Discovery

le Wang, Lipo, Jin, Yaochu
Foilsithe 2020