Automated Reasoning in Higher-Order Logic | Kaicus Deutschland

product image

product image

Automated Reasoning in Higher-Order Logic

45.00 EUR

Marke: Brown, C. E.

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church's Type Theory (Studies in Logic, Logic and Cognitive Systems, Band 10)

45.00 EUR 45.00 EUR

23-08-2026 11:16:02

Access to the deal

Ähnliche Produkte