Types in logic programmingFrank Pfenning
Types in logic programming
Frank Pfenning · 1992
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 1992
- שפה
- English
- הוצאה
- MIT Press
- מהדורות
- 1
- עמודים
- 380
- ISBN
- 9780262519939
מקור הנתונים: Wikidata
עוד של Frank Pfenning
Foundations of Software Science and Computation StructuresFrank Pfenning
Foundations of Software Science and Computation Structures
Frank Pfenning · 2013
Generative programming and component engineeringFrank Pfenning
Generative programming and component engineering
Frank Pfenning · 2003
Term Rewriting and ApplicationsFrank Pfenning
Term Rewriting and Applications
Frank Pfenning · 2006
Logic Programming and Automated ReasoningFrank Pfenning
Logic Programming and Automated Reasoning
Frank Pfenning · 1994
Automated Deduction - CADE-21Frank Pfenning
Automated Deduction - CADE-21
Frank Pfenning · 2007