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

  1. الرئيسية
  2. الكتب الالكترونية
عدد الكتب: 1 - 5 /5
978-3-540-74915-8
Computer Science Logic

This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...

اقرأ المزيد
978-3-540-74915-8
Computer Science Logic

This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...

اقرأ المزيد
978-3-540-31897-2
Computer Science Logic (vol. # 3634)

This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...

اقرأ المزيد
978-3-540-45459-5
Computer Science Logic (vol. # 4207)

Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational ...

اقرأ المزيد
978-0-387-35851-2
Universality of Nonclassical Nonlinearity

This book comes as a result of the research work developed in the framework of two international projects: the European Science ...

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