Home Advanced Search

Advanced Search - Page 1

Logic Program Synthesis and Transformation: 7th International Workshop, LOPSTR’97 Leuven, Belgium, July 10–12, 1997 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: W. Bibel, D. Korn, C. Kreitz, F. Kurucz (auth.), Norbert E. Fuchs (eds.)
Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '96 Karlsruhe, Germany, September 18–20, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: W. Bibel, D. Korn, C. Kreitz, S. Schmitt (auth.), Jacques Calmet, Carla Limongelli (eds.)
Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings
  • PDF
  • English
  • Year: 1995
  • Author: W. Bibel, S. Brüning, U. Egly, D. Korn (auth.), Peter Baumgartner, Reiner Hähnle, Joachim Possega (eds.)
Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: W. Bibel, S. Brüning, U. Egly, D. Korn (auth.), Peter Baumgartner, Reiner Hähnle, Joachim Possega (eds.)
Controlled Natural Language: Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009. Revised Papers
  • PDF
  • English
  • Year: 2010
  • Author: Tobias Kuhn (auth.), Norbert E. Fuchs (eds.)
Computed Tomography of the Gastrointestinal Tract: Including the Peritoneal Cavity and Mesentery
  • PDF
  • English
  • Year: 1986
  • Author: C. D. Becker, W. A. Fuchs (auth.), Morton A. Meyers M.D. (eds.)
Transport
  • PDF
  • English
  • Year: 1975
  • Author: Peter C. Maloney, E. R. Kashket, T. H. Wilson (auth.), Edward D. Korn (eds.)
Local Jet Bundle Formulation of Bäcklund Transformations: With Applications to Non-Linear Evolution Equations
  • PDF
  • English
  • Year: 1979
  • Author: F. A. E. Pirani, D. C. Robinson, W. F. Shadwick (auth.)
Controlled Natural Language: Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers
  • PDF
  • English
  • Year: 2012
  • Author: Krasimir Angelov, Ramona Enache (auth.), Michael Rosner, Norbert E. Fuchs (eds.)
Methods in Membrane Biology: Volume 10
  • PDF
  • English
  • Year: 1979
  • Author: D. Papahadjopoulos, G. Poste, W. J. Vail (auth.), Edward D. Korn (eds.)
search