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

  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-3-540-87531-4
Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings

This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...

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