1. Home
  2. Medien
  3. Bücher
  4. Higher-Order Algebra Logic and Term Rewriting
  • #
  • #

Higher-Order Algebra Logic and Term Rewriting

53.49 EUR

Teilen:

Ähnliche Produkte

Higher-Order Algebra Logic and Term Rewriting

Higher-Order Algebra Logic and Term Rewriting

53.49 EUR
Gustafsson, Bertil: High Order Difference Methods for Time Dependent PDE

Gustafsson, Bertil: High Order Difference Methods for Time Dependent PDE

117.68 EUR
Discrete-Time High Order Neural Control

Discrete-Time High Order Neural Control

106.34 EUR
Higher-Order Perl. Transforming Programs with Programs

Higher-Order Perl. Transforming Programs with Programs

67.40 EUR
Configurable Software Performance Completions through Higher-Order Model Transformations

Configurable Software Performance Completions through Higher-Order Model Transformations

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

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

64.19 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