A Concise Introduction to Mathematical Logic
This book is unique in that it is more concise than most others; the material is treated in a streamlined fashion. This allows ...
Lee mas
A Concise Introduction to Mathematical Logic
This book is unique in that it is more concise than most others; the material is treated in a streamlined fashion. This allows ...
Lee mas
Active Mining
"This volume contains the papers selected for presentation at the 2nd Inter- tional Workshop on Active Mining (AM 2003) ...
Lee mas
Advances in Artificial Intelligence
The AI conference series is the premier event sponsored by the Canadian - ciety for the Computational Studies of Intelligence ...
Lee mas
Advances in Artificial Intelligence (vol. # 3955)
This book constitutes the refereed proceedings of the 4th Hellenic Conference on Artificial Intelligence, SETN 2006, held ...
Lee mas
Advances in Artificial Intelligence (vol. # 4013)
This book constitutes the refereed proceedings of the 4th Hellenic Conference on Artificial Intelligence, SETN 2006, held ...
Lee mas
Advances in Computer Science - ASIAN 2004 Higher Level Decision Making
This book constitutes the proceedings of the 9th Asian Computing Science Conference was held in Chiang Mai in Decem-ber 2004. ...
Lee mas
Advances in Data Mining. Theoretical Aspects and Applications
The book range from aspects of classification and prediction, clustering, Web mining, data mining in medicine, applications ...
Lee mas
Advances in Data Mining. Theoretical Aspects and Applications
The book range from aspects of classification and prediction, clustering, Web mining, data mining in medicine, applications ...
Lee mas
Applications of Declarative Programming and Knowledge Management
This volume contains a selection of papers presented at the 15th International Conference on Applications of Declarative ...
Lee mas
Artificial Intelligence in Theory and Practice
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lee mas
Automated Deduction – CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...
Lee mas
Automated Deduction – CADE-20
This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...
Lee mas
Automated Reasoning with Analytic Tableaux and Related Methods
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Lee mas
Automated Reasoning with Analytic Tableaux and Related Methods
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Lee mas
CONCUR 2005 - Concurrency Theory
This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose ...
Lee mas
Cognitive Engineering
Cognitive Engineering: A Distributed Approach to Machine Intelligence explores the design issues of intelligent engineering ...
Lee mas
Computational Logic in Multi-Agent Systems
Though multiagent systems (MASs) are being increasingly used, few methods exist to ensure survivability of MASs. All existing ...
Lee mas
Computational Logic in Multi-Agent Systems (vol. # 3487)
The notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, ...
Lee mas
Computational Logic in Multi-Agent Systems : 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Computational ...
Lee mas
