Computation and Reasoning - A Type Theory for Computer Science (INTERNATIONAL SERIES OF | DealShopping Deutschland
  1. Home
  2. Computation and Reasoning - A Type Theory for Computer Science (INTERNATIONAL SERIES OF MONOGRAPHS ON COMPUTER SCIENCE, Band 11)
  • #

Computation and Reasoning - A Type Theory for Computer Science (INTERNATIONAL SERIES OF MONOGRAPHS ON COMPUTER SCIENCE, Band 11)

114.50 EUR

Teilen:

Ähnliche Produkte

Computations in Algebraic Geometry with Macaulay 2

Computations in Algebraic Geometry with Macaulay 2

53.49 EUR
AI Aspects in Reasoning, Languages, and Computation (Studies in Computational Intelligence, Band 889)

AI Aspects in Reasoning, Languages, and Computation (Studies in Computational Intelligence, Band 889)

139.24 EUR
Ablamowicz, Rafal: Clifford Algebras with Numeric and Symbolic Computations

Ablamowicz, Rafal: Clifford Algebras with Numeric and Symbolic Computations

53.49 EUR
AI Aspects in Reasoning, Languages, and Computation

AI Aspects in Reasoning, Languages, and Computation

149.79 EUR
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification

53.91 EUR
Computations in Algebraic Geometry with Macaulay 2

Computations in Algebraic Geometry with Macaulay 2

53.49 EUR