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

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

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