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 (1) 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
45.00 EUR
Preis aktualisiert am: 26-04-2026 16:06:20
Siehe Produktangebot

Allgemein

Marke
Brown, C. E.

Eigenschaften

Ähnliche Produkte

Automated Reasoning for Systems Biology and Medicine
Automated Reasoning for Systems Biology and Medicine
Produkt anzeigen
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I (Lecture Notes in Computer Science, Band 12166)
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I (Lecture Notes in Computer Science, Band 12166)
Produkt anzeigen
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II (Lecture Notes in Computer Science, Band 12167)
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II (Lecture Notes in Computer Science, Band 12167)
Produkt anzeigen
Automated Reasoning for Systems Biology and Medicine
Automated Reasoning for Systems Biology and Medicine
Produkt anzeigen
Automated Reasoning and Mathematics
Automated Reasoning and Mathematics
Produkt anzeigen
Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings (Lecture Notes in Computer Science)
Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings (Lecture Notes in Computer Science)
Produkt anzeigen
Menü