Deontic Logic in Computer Science

Bỡi Meyden, Ron van der, Torre, Leendert van der
Được phát hành 2020

Algebraic and Proof-theoretic Aspects of Non-classical Logics

Bỡi Aguzzoli, S., Ciabattoni, A., Gerla, B., Manara, C., Marra, V.
Được phát hành 2020

Conditionals, Information, and Inference

Được phát hành 2020

Logic, Language, and Computation

Được phát hành 2020

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Được phát hành 2020

Case-Based Reasoning Research and Development

Bỡi Munoz-Avila, Hector, Ricci, Francesco
Được phát hành 2020

Chinese Lexical Semantics

Bỡi Wu, Yunfang, Hong, Jia-Fei, Su, Qi
Được phát hành 2020

Reasoning Web. Semantic Interoperability on the Web

Bỡi Ianni, Giovambattista, Lembo, Domenico, Bertossi, Leopoldo, Faber, Wolfgang, Glimm, Birte, Gottlob, Georg, Staab, Steffen
Được phát hành 2020

Teaching Formal Methods

Được phát hành 2020

Foundations of Fuzzy Logic and Soft Computing

Bỡi Melin, Patricia, Castillo, Oscar, Aguilar, Luis T., Pedrycz, Witold
Được phát hành 2020

Frontiers of Combining Systems

Bỡi Konev, Boris, Wolter, Frank
Được phát hành 2020

Machine Learning and Data Mining in Pattern Recognition

Bỡi Perner, Petra
Được phát hành 2020

Finite Model Theory and Its Applications

Bỡi Grädel, Erich, Kolaitis, Phokion G., Libkin, Leonid, Marx, Maarten, Spencer, Joel, Vardi, Moshe Y., Venema, Yde, Weinstein, Scott
Được phát hành 2020

Concise Guide to Formal Methods

Bỡi O'Regan, Gerard
Được phát hành 2020

Logic, Language, Information, and Computation

Bỡi Moss, Lawrence S., Queiroz, Ruy de, Martinez, Maricarmen
Được phát hành 2020

Machine Learning and Data Mining in Pattern Recognition

Được phát hành 2020

Frontiers of Combining Systems

Bỡi Gramlich, Bernhard
Được phát hành 2020

Frontiers of Combining Systems

Được phát hành 2020

Pillars of Computer Science

Bỡi Avron, Arnon, Dershowitz, Nachum, Rabinovich, Alexander
Được phát hành 2020

Fuzzy Systems and Knowledge Discovery

Bỡi Wang, Lipo, Jin, Yaochu
Được phát hành 2020