Deontic Logic in Computer Science

מאת Meyden, Ron van der, Torre, Leendert van der
יצא לאור 2020

Algebraic and Proof-theoretic Aspects of Non-classical Logics

מאת Aguzzoli, S., Ciabattoni, A., Gerla, B., Manara, C., Marra, V.
יצא לאור 2020

Conditionals, Information, and Inference

יצא לאור 2020

Logic, Language, and Computation

יצא לאור 2020

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

יצא לאור 2020

Case-Based Reasoning Research and Development

מאת Munoz-Avila, Hector, Ricci, Francesco
יצא לאור 2020

Chinese Lexical Semantics

מאת Wu, Yunfang, Hong, Jia-Fei, Su, Qi
יצא לאור 2020

Reasoning Web. Semantic Interoperability on the Web

מאת Ianni, Giovambattista, Lembo, Domenico, Bertossi, Leopoldo, Faber, Wolfgang, Glimm, Birte, Gottlob, Georg, Staab, Steffen
יצא לאור 2020

Teaching Formal Methods

יצא לאור 2020

Foundations of Fuzzy Logic and Soft Computing

מאת Melin, Patricia, Castillo, Oscar, Aguilar, Luis T., Pedrycz, Witold
יצא לאור 2020

Frontiers of Combining Systems

מאת Konev, Boris, Wolter, Frank
יצא לאור 2020

Machine Learning and Data Mining in Pattern Recognition

מאת Perner, Petra
יצא לאור 2020

Finite Model Theory and Its Applications

מאת Grädel, Erich, Kolaitis, Phokion G., Libkin, Leonid, Marx, Maarten, Spencer, Joel, Vardi, Moshe Y., Venema, Yde, Weinstein, Scott
יצא לאור 2020

Concise Guide to Formal Methods

מאת O'Regan, Gerard
יצא לאור 2020

Logic, Language, Information, and Computation

מאת Moss, Lawrence S., Queiroz, Ruy de, Martinez, Maricarmen
יצא לאור 2020

Machine Learning and Data Mining in Pattern Recognition

יצא לאור 2020

Frontiers of Combining Systems

מאת Gramlich, Bernhard
יצא לאור 2020

Frontiers of Combining Systems

יצא לאור 2020

Pillars of Computer Science

מאת Avron, Arnon, Dershowitz, Nachum, Rabinovich, Alexander
יצא לאור 2020

Fuzzy Systems and Knowledge Discovery

מאת Wang, Lipo, Jin, Yaochu
יצא לאור 2020