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

Wo zu kaufen (2) Eigenschaften
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)
Medimops DE
44.99 EUR
Preis aktualisiert am: 29-10-2026 01:30:00
Siehe Produktangebot
Gesponsert
Automated Reasoning in Higher-Order Logic
Hugendubel
48.99 EUR
Preis aktualisiert am: 29-10-2026 10:02:46
Siehe Produktangebot

Allgemein

Marke
Brown, C. E.

Eigenschaften

Ähnliche Produkte

Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Notes in Computer Science, Band 10900)
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Notes in Computer Science, Band 10900)
Aus53.49 EUR 4
Produkt anzeigen
Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, ... Notes in Computer Science, Band 8562)
Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, ... Notes in Computer Science, Band 8562)
Aus53.49 EUR 4
Produkt anzeigen
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Computer Science, 3097, Band 3097)
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Computer Science, 3097, Band 3097)
Aus106.99 EUR 3
Produkt anzeigen
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Computer Science, 2083, Band 2083)
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Computer Science, 2083, Band 2083)
Aus106.99 EUR 3
Produkt anzeigen
Automated Reasoning with Analytic Tableaux and Related Methods
Automated Reasoning with Analytic Tableaux and Related Methods
Aus53.49 EUR 2
Produkt anzeigen
Quantifying Uncertainty in Reasoning and Question Answering
Quantifying Uncertainty in Reasoning and Question Answering
Aus59.00 EUR 1
Produkt anzeigen
Menü