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

  1. الرئيسية
  2. الكتب الالكترونية
عدد الكتب: 1 - 4 /4
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 ...

اقرأ المزيد
978-3-540-92243-8
Constraint Handling Rules : Current Research Topics

The Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language ...

اقرأ المزيد
978-3-030-17127-8
Foundations of Software Science and Computation Structures

This book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational ...

اقرأ المزيد
978-3-540-88594-8
Semantics in Data and Knowledge Bases : Third International Workshop, SDKB 2008, Nantes, France, March 29, 2008, Revised Selected Papers

This book presented original contributions demonstrating the use of logic, discrete mathematics, combinatorics, domain theory ...

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