Frank Pfenning's Documents

Frank Pfenning's Documents

Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings

Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings
Read more
Automated deduction -- CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings (Lecture Notes in Artificial Intelligence 4603)

Automated deduction -- CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings (Lecture Notes in Artificial Intelligence 4603)
Read more
Term Rewriting and Applications, 17 conf., RTA 2006

Term Rewriting and Applications, 17 conf., RTA 2006
Read more
Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings

Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings
Read more
Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings

Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings
Read more
Representations of Death in Nineteenth-Century US Writing and Culture (Warwick Studies in the Humanities)

Representations of Death in Nineteenth-Century US Writing and Culture (Warwick Studies in the Humanities)
Read more
Mathematical methods in image reconstruction

Mathematical methods in image reconstruction
Read more
The Tragedy of Liberation: A History of the Chinese Revolution, 1945-1957

The Tragedy of Liberation: A History of the Chinese Revolution, 1945-1957
Read more
N-Heterocyclic Carbenes in Transition Metal Catalysis

N-Heterocyclic Carbenes in Transition Metal Catalysis
Read more
Language and the Sexes

Language and the Sexes
Read more
Mathematical methods in image reconstruction

Mathematical methods in image reconstruction
Read more
Language and the Sexes

Language and the Sexes
Read more
Mathematical Methods in Image Reconstruction

Mathematical Methods in Image Reconstruction
Read more
Mathematical Methods in Image Reconstruction (Monographs on Mathematical Modeling and Computation)

Mathematical Methods in Image Reconstruction (Monographs on Mathematical Modeling and Computation)
Read more
N-Heterocyclic Carbenes in Transition Metal Catalysis

N-Heterocyclic Carbenes in Transition Metal Catalysis
Read more
Kindernotfalle im Rettungsdienst, 3. Auflage (German Edition)

Kindernotfalle im Rettungsdienst, 3. Auflage (German Edition)
Read more
Redesigning Asian Business: In the Aftermath of Crisis

Redesigning Asian Business: In the Aftermath of Crisis
Read more
Mathematical Theory of Nonblocking Switching Networks

Mathematical Theory of Nonblocking Switching Networks
Read more
Mathematical Theory of Nonblocking Switching Networks

Mathematical Theory of Nonblocking Switching Networks
Read more
Stochastic Processes in Science, Engineering and Finance

Stochastic Processes in Science, Engineering and Finance
Read more
Seduce Me in Flames

Seduce Me in Flames
Read more
Dune: Dios emperador de Dune

Dune: Dios emperador de Dune
Read more
Die Asche meiner Mutter

Die Asche meiner Mutter
Read more
Die Asche meiner Mutter

Die Asche meiner Mutter
Read more
Time and Tide: A Walk Through Nantucket

Time and Tide: A Walk Through Nantucket
Read more
The Infinity Puzzle: Quantum Field Theory and the Hunt for an Orderly Universe

The Infinity Puzzle: Quantum Field Theory and the Hunt for an Orderly Universe
Read more
The Infinity Puzzle: Quantum Field Theory and the Hunt for an Orderly Universe

The Infinity Puzzle: Quantum Field Theory and the Hunt for an Orderly Universe
Read more
The Customer Signs Your Paycheck

The Customer Signs Your Paycheck
Read more
WiMAX Handbook

WiMAX Handbook
Read more
Extending the Linear Model with R

Extending the Linear Model with R
Read more