Higher Order Logic Theorem Proving and Its Applications, Ifip Transactions. A | DealShopping France
  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

Partager:

Produits connexes

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

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

55.44 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

94.94 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
Higher Order Logic and Hardware Verification

Higher Order Logic and Hardware Verification

14.24 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
Nonlinear Prediction Ladder-Filters for Higher-Order Stochastic Sequences

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

6.17 EUR