Electronic Books

Total Books: 12/81
978-0-387-34241-2
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 ...

Read more
978-0-387-34241-2
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 ...

Read more
978-3-540-31933-7
Active Mining

"This volume contains the papers selected for presentation at the 2nd Inter- tional Workshop on Active Mining (AM 2003) ...

Read more
978-3-540-47922-2
Advances in Artificial Intelligence

The AI conference series is the premier event sponsored by the Canadian - ciety for the Computational Studies of Intelligence ...

Read more
978-3-540-34118-5
Advances in Artificial Intelligence (vol. # 3955)

This book constitutes the refereed proceedings of the 4th Hellenic Conference on Artificial Intelligence, SETN 2006, held ...

Read more
978-3-540-34630-2
Advances in Artificial Intelligence (vol. # 4013)

This book constitutes the refereed proceedings of the 4th Hellenic Conference on Artificial Intelligence, SETN 2006, held ...

Read more
978-3-540-30502-6
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. ...

Read more
978-3-540-73435-2
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 ...

Read more
978-3-540-73435-2
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 ...

Read more
978-3-540-32124-8
Applications of Declarative Programming and Knowledge Management

This volume contains a selection of papers presented at the 15th International Conference on Applications of Declarative ...

Read more
978-0-387-34747-9
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 ...

Read more
978-3-030-79876-5
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 ...

Read more
Total Books: 12/81