1. Home
  2. Medien
  3. Bücher
  4. Higher Order Logic Theorem Proving and Its Applications
  • #
  • #

Higher Order Logic Theorem Proving and Its Applications

53.49 EUR 53.24 EUR 0% Off

Teilen:

Ähnliche Produkte

Higher Order Logic Theorem Proving and Its Applications

Higher Order Logic Theorem Proving and Its Applications

53.49 EUR
Higher-Order Algebra Logic and Term Rewriting

Higher-Order Algebra Logic and Term Rewriting

53.49 EUR
Higher-Order Algebra Logic and Term Rewriting

Higher-Order Algebra Logic and Term Rewriting

53.49 EUR
Probabilistic Analysis using Theorem Proving

Probabilistic Analysis using Theorem Proving

68.00 EUR
Higher Order Logic Theorem Proving and Its Applications

Higher Order Logic Theorem Proving and Its Applications

53.49 EUR
Isabelle/HOL: A Proof Assistant for Higher-Order Logic

Isabelle/HOL: A Proof Assistant for Higher-Order Logic

63.94 EUR
Higher-Order Components for Grid Programming

Higher-Order Components for Grid Programming

85.59 EUR
Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data

Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data

117.69 EUR