الكتب الالكترونية

  1. الرئيسية
  2. الكتب الالكترونية
عدد الكتب: 1 - 6 /6
978-3-540-73595-3
Automated Deduction – CADE-21

All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation ...

اقرأ المزيد
978-3-540-73595-3
Automated Deduction – CADE-21

All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation ...

اقرأ المزيد
978-3-540-35160-3
Intelligent Tutoring Systems

This book constitutes the refereed proceedings of the 8th International Conference on Intelligent Tutoring Systems, ITS 2006, ...

اقرأ المزيد
978-3-540-31953-5
Logical Aspects of Computational Linguistics

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book inaugurates the new FoLLI ...

اقرأ المزيد
978-3-540-38412-0
Reasoning Web (vol. # 4126)

This book presents thoroughly arranged tutorial papers corresponding to lectures given by leading researchers at the Second ...

اقرأ المزيد
978-3-540-74788-8
Spatial Information Theory

This book constitutes the refereed proceedings of the 8th International Conference on Spatial Information Theory, COSIT 2007, ...

اقرأ المزيد
عدد الكتب: 1 - 6 /6