Reasoning in simple type theoryChristoph Benzmüller

Reasoning in simple type theory

Christoph Benzmüller · 2008

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2008
Language: English
Series: Studies in logic. Mathematical logic and foundations -- 17
Publisher: College Publications
Editions: 1
Pages: 467
ISBN: 9781904987703

Data source: Wikidata

More by Christoph Benzmüller

Automated ReasoningChristoph Benzmüller

Automated Reasoning

Christoph Benzmüller · 2024

KI 2019 : Advances in Artificial IntelligenceChristoph Benzmüller

KI 2019 : Advances in Artificial Intelligence

Christoph Benzmüller · 2019