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

  1. الرئيسية
  2. الكتب الالكترونية
عدد الكتب: 1 - 3 /3
978-3-540-31650-3
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)

Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...

اقرأ المزيد
978-3-540-31431-8
Mathematical Knowledge Management (vol. # 3863)

This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 ...

اقرأ المزيد
978-3-540-71998-4
Recent Trends in Algebraic Development Techniques

This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development ...

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