Computational logic and proof theoryGeorg Gottlob
Computational logic and proof theory
Georg Gottlob · 1993
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 1993
- שפה
- English
- הוצאה
- Springer
- מהדורות
- 1
- עמודים
- 348
- ISBN
- 9783540571841
מקור הנתונים: Wikidata
עוד של Georg Gottlob
Big DataGeorg Gottlob
Big Data
Georg Gottlob · 2013
Logic Programming and Nonmonotonic ReasoningGeorg Gottlob
Logic Programming and Nonmonotonic Reasoning
Georg Gottlob · 2022
Expert Systems in Engineering, Principles and Applications - International Workshop ProceedingsGeorg Gottlob
Expert Systems in Engineering, Principles and Applications - International Workshop Proceedings
Georg Gottlob · 1990
Computer Science LogicGeorg Gottlob
Computer Science Logic
Georg Gottlob · 2006
Advances in Databases and Information SystemsGeorg Gottlob
Advances in Databases and Information Systems
Georg Gottlob · 2004
Database theoryGeorg Gottlob
Database theory
Georg Gottlob · 1995