Meta-Logics and Logic ProgrammingKrzysztof Apt
Meta-Logics and Logic Programming
Krzysztof Apt, Franco Turini · 2003
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2003
- שפה
- English
- הוצאה
- MIT Press
- מהדורות
- 1
- עמודים
- 356
- ISBN
- 9780262511681
מקור הנתונים: Wikidata
עוד של Krzysztof Apt
Logic ProgrammingKrzysztof Apt

Logic Programming
Krzysztof Apt · 1992
Verification of Sequential and Concurrent ProgramsKrzysztof Apt

Verification of Sequential and Concurrent Programs
Krzysztof Apt · 2010
Principles of Constraint ProgrammingKrzysztof Apt
Principles of Constraint Programming
Krzysztof Apt · 2003