Higher-Order Algebra Logic and Term Rewriting | DealShopping Deutschland
  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

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

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

104.30 EUR
Discrete-Time High Order Neural Control

Discrete-Time High Order Neural Control

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

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

63.94 EUR
Higher-Order Algebra Logic and Term Rewriting

Higher-Order Algebra Logic and Term Rewriting

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

Configurable Software Performance Completions through Higher-Order Model Transformations

51.00 EUR
Higher-Order Perl. Transforming Programs with Programs

Higher-Order Perl. Transforming Programs with Programs

67.40 EUR