Superposition for Higher-order Logic: 16088

Name: Superposition for Higher-order Logic: 16088
Brand: Springer
SKU: 1dc27a7a6ab8c278d01486d1900c85ae

1/1

Prezzi da

117,69

In evidenza

Descrizione

Amazon Pagine: 230, Copertina flessibile, Springer-Nature New York Inc

Per saperne di più

Confronta i webshop (2)

Shop

Prezzo

117,69 €

Vai allo shop

117,69 €

Vai allo shop

Descrizione (1)

Pagine: 230, Copertina flessibile, Springer-Nature New York Inc

Per saperne di più

Marchio	Springer
EAN	9783032016690

Cambridge University Press

Programming with Higher Order Logic

Cambridge University Press

Higher Order Logic and Type Theory

Cambridge University Press

Programming with Higher-Order Logic (English Edition)

Cambridge University Press

Properties and Propositions: The Metaphysics of Higher Order Logic