Home Advanced Search

Advanced Search - Page 1

Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop Aspen Grove, UT, USA, September 11–14, 1995 Proceedings
  • PDF
  • English
  • Year: 1995
  • Author: Otmane Aït Mohamed (auth.), E. Thomas Schubert, Philip J. Windley, James Alves-Foss (eds.)
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings: ... 8th
  • DJVU
  • English
  • Year: 1995
  • Author: E. Thomas Schubert, Phillip J. Windley, James Alves-Foss
Formal Syntax and Semantics of Java
  • PDF
  • English
  • Year: 1999
  • Author: Jim Alves-Foss, Deborah Frincke (auth.), Jim Alves-Foss (eds.)
Modeling Approaches and Algorithms for Advanced Computer Applications
  • PDF
  • English
  • Year: 2013
  • Author: Frédéric Boniol (auth.), Abdelmalek Amine, Ait Mohamed Otmane, Ladjel Bellatreche (eds.)
Mongo Beti: un écrivain engagé
  • PDF
  • French
  • Year: 2013
  • Author: Mohamed Aït-Aarab
Analytical Calorimetry: Volume 5
  • PDF
  • English
  • Year: 1984
  • Author: Thomas E. Munns, James C. Seferis (auth.), Julian F. Johnson, Philip S. Gill (eds.)
Models and Measurements of the Cardiac Electric Field
  • PDF
  • English
  • Year: 1982
  • Author: Pierre Rijlant (auth.), E. Schubert (eds.)
Strategische Allianzen im internationalen Bankgeschäft
  • PDF
  • German
  • Year: 1995
  • Author: Thomas Schubert (auth.)
Transactions on Computational Science XVII
  • PDF
  • English
  • Year: 2013
  • Author: Madjid Maidi, Malik Mallem, Laredj Benchikh, Samir Otmane (auth.), Marina L. Gavrilova, C. J. Kenneth Tan (eds.)
Advances in Metal Carbene Chemistry
  • PDF
  • English
  • Year: 1989
  • Author: E. O. Fischer (auth.), U. Schubert (eds.)
search