1. Page d’accueil
  2. Higher Order Logic Theorem Proving and Its Applications, Ifip Transactions. A, Computer Science and Technology, A-20
  • #
  • #

Higher Order Logic Theorem Proving and Its Applications, Ifip Transactions. A, Computer Science and Technology, A-20

282.99 EUR 61.74 EUR 78% Off

Partager:

Produits connexes

Higher Order Logic and Hardware Verification

Higher Order Logic and Hardware Verification

14.24 EUR
Higher Order Logic and Hardware Verification, Cambridge Tracts in Theoretical Computer Science

Higher Order Logic and Hardware Verification, Cambridge Tracts in Theoretical Computer Science

52.23 EUR
Introduction to Higher-Order Categorical Logic, Cambridge Studies in Advanced Mathematics, 7

Introduction to Higher-Order Categorical Logic, Cambridge Studies in Advanced Mathematics, 7

83.14 EUR
Automated Reasoning in Higher-Order Logic, Studies in Logic, Logic and Cognitive Systems

Automated Reasoning in Higher-Order Logic, Studies in Logic, Logic and Cognitive Systems

73.15 EUR
Nonlinear Prediction Ladder-Filters for Higher-Order Stochastic Sequences

Nonlinear Prediction Ladder-Filters for Higher-Order Stochastic Sequences - Jan Zarzycki

6.17 EUR
The Consolidated General Orders of the High Court of Chancery: With Regulations as to Certain Fees and Charges (1860)

The Consolidated General Orders of the High Court of Chancery: With Regulations as to Certain Fees and Charges (1860)

40.15 EUR
All Things Must Pass – Édition Commemorative

All Things Must Pass – Édition Commemorative

127.96 EUR
High-order discontinuous galerkin methods for the maxwell equations

High-order discontinuous galerkin methods for the maxwell equations

78.52 EUR