|
| This third volume documents the results achieved within a priority program on spatial cognition funded by the German Science Foundation... This book constitutes the refereed proceedings of the 5th International Conference on Case-Based Reasoning, ICCBR 2003, held in Trondheim,...
This book constitutes the refereed proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2003,... This book constitues the refereed proceedings of the Second International Symposium on Agent Systems and Applications and the Fourth...
This book constitutes the refereed proceedings of the 12th International Symposium on Methodologies for Intelligent Systems, ISMIS 2000,... This book constitutes the refereed proceedings of the 12th International Conference on Knowledge Engineering and Knowledge Management, EKAW...
This is the first book that integrates nonmonotonic reasoning and belief change into a single framework from an artificial intelligence... This book constitutes the refereed proceedings of the First International Joint Conference on Automated Reasoning, IJCAR 2001, held in...
This book constitutes the refereed proceedings of the 9th International Conference on Conceptual Structures, ICCS 2001, held in Stanford,... This book constitutes the refereed proceedings of the 4th International Conference on Case-Based Reasoning, ICCBR 2001, held in Vancouver,...
Description logics (DLs) are used to represent structured knowledge. Inference services testing consistency of knowledge bases and computing... This book is the first comprehensive approach to the construction and the management of cooperative information systems. From a set of input...
This book constitutes the refereed proceedings of the 13th International Symposium on Methodologies for Intelligent Systems, ISMIS 2002,... This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related...
This book constitutes the refereed proceedings of the 18th International Conference on Automated Deduction, CADE - 18, held in Copenhagen,... This book constitutes the refereed preceedings of the 6th European Conference on Case-Based Reasoning, ECCBR 2002, held in Aberdeen,...
This volume contains the papers selected for presentation at the Sixth International Symposium on Methodol- ogies for Intelligent Systems... This volume presents the proceedings of an internationalworkshop on the processing of declarative knowledge. Theworkshop was organized and...
|
Top Libri Inglesi |
1. | 2. | 3. | 4. | 5. | 6. | 7. | 8. | 9. | 10. |
|
|
Carrello
![English Grammar in Use with Answers: A Self-Study Reference and Practice Book for Intermediate Learners of English [With CDROM]](http://img4.libreriauniversitaria.it/BUS/100/939/9780521189392.jpg "English Grammar in Use with Answers: A Self-Study Reference and Practice Book for Intermediate Learners of English [With CDROM]")
![Essential Grammar in Use: Grammatica Di Base Della Lingua Inglese Con Soluzioni [With CDROM]](http://img4.libreriauniversitaria.it/BUS/100/488/9780521534888.jpg "Essential Grammar in Use: Grammatica Di Base Della Lingua Inglese Con Soluzioni [With CDROM]")
