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

Où acheter (1) Caractéristiques

Sponsorisé

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

Fnac FR

782.99 EUR

Prix mis à jour le: 30-09-2026 03:00:36

Voir l'offre

Général

Caractéristiques

Produits similaires

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

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

Dès107.75 EUR 1

Higher Order Logic and Hardware Verification

Higher Order Logic and Hardware Verification

Dès259.99 EUR 1

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

Dès101.99 EUR 1

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

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

Dès60.39 EUR 1

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)

Dès83.99 EUR 1

Nonlinear Prediction Ladder-Filters for Higher-Order Stochastic Sequences

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

Dès6.17 EUR 1