Home Advanced Search

Advanced Search - Page 1

Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Gerwin Klein (auth.), Matt Kaufmann, Lawrence C. Paulson (eds.)
Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Lawrence C. Paulson (auth.), Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt (eds.)
Concrete Semantics: With Isabelle/HOL
  • PDF
  • English
  • Year: 2014
  • Author: Tobias Nipkow, Gerwin Klein (auth.)
A Quest for a More Stable World Economic System: Restructuring at a Time of Cyclical Adjustment
  • PDF
  • English
  • Year: 1993
  • Author: L. R. Klein (auth.), Lawrence R. Klein (eds.)
Computer-aided reasoning: ACL2 case studies
  • DJVU
  • English
  • Year: 2000
  • Author: Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (eds.)
Concrete Semantics with Isabelle/HOL
  • PDF
  • English
  • Year: 2017
  • Author: Tobias Nipkow, Gerwin Klein
Economics in Theory and Practice: An Eclectic Approach: Essays in Honor of F. G. Adams
  • PDF
  • English
  • Year: 1990
  • Author: L. R. Klein, E. Sojo (auth.), Lawrence R. Klein, Jaime Marquez (eds.)
Management of Breast Diseases
  • PDF
  • English
  • Year: 2010
  • Author: Martha C. Johnson (auth.), Dr. Ismail Jatoi, Prof. Dr. Manfred Kaufmann (eds.)
Archiv für Gynäkologie: Organ der Deutschen Gesellschaft für Gynäkologie
  • PDF
  • German
  • Year: 1955
  • Author: H. Martius, C. Kaufmann (auth.)
Analyse der Fette und Fettprodukte: Einschließlich der Wachse, Harze und verwandter Stoffe. II Spezieller Teil
  • PDF
  • German
  • Year: 1958
  • Author: Professor Dr. C. Griebel (auth.), Professor Dr. Dr. h. c. H. P. Kaufmann (eds.)
search