Reasoning in simple type theoryChristoph Benzmüller

Reasoning in simple type theory

Christoph Benzmüller · 2008

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה: 2008
שפה: English
סדרה: Studies in logic. Mathematical logic and foundations -- 17
הוצאה: College Publications
מהדורות: 1
עמודים: 467
ISBN: 9781904987703

מקור הנתונים: Wikidata

עוד של 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