Frank Pfenning
Frank Pfenning
6 ספרים במאגר
ספרים
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
Types in logic programmingFrank Pfenning
Types in logic programming
Frank Pfenning · 1992
Automated Deduction - CADE-21Frank Pfenning
Automated Deduction - CADE-21
Frank Pfenning · 2007