Home Advanced Search

Advanced Search - Page 1

Southeast Asian Conference on Logic: Proceedings of the Logic Conference Singapore, 1981
  • PDF
  • English
  • Year: 1983
  • Author: C.-T. Chong and M.J. Wicks (Eds.)
Southeast Asian Conference on Logic: Proceedings Singapore, 1981
  • DJVU
  • English
  • Year: 1983
  • Author: C.T. Chong, M.J. Wicks
Techniques of Admissible Recursion Theory
  • DJVU
  • English
  • Year: 1985
  • Author: C. T. Chong
Proceedings of the International Mathematical Conference
  • PDF
  • Year: 1982
  • Author: Louis H.Y. Chen, Tze Beng Ng and M.J. Wicks (Eds.)
Mathematical Logic and Applications: Proceedings of the Logic Meeting held in Kyoto, 1987
  • PDF
  • English
  • Year: 1989
  • Author: C. T. Chong (auth.), Juichi Shinoda, Tosiyuki Tugué, Theodore A. Slaman (eds.)
Mathematical Logic and Applications: Proceedings of the Logic Meeting held in Kyoto, 1987
  • DJVU
  • English
  • Year: 1989
  • Author: C. T. Chong (auth.), Juichi Shinoda, Tosiyuki Tugué, Theodore A. Slaman (eds.)
Introduction to HOL: A theorem-proving environment for higher order logic
  • DJVU
  • English
  • Year: 1993
  • Author: Gordon M.J. C., Melham T.F. (eds.)
Structural Health Monitoring, Volume 5: Proceedings of the 32nd IMAC, A Conference and Exposition on Structural Dynamics, 2014
  • PDF
  • English
  • Year: 2014
  • Author: Alfred Wicks (eds.)
Smart Antennas
  • PDF
  • English
  • Year: 2003
  • Author: T. K. Sarkar, Michael C. Wicks, M. Salazar-Palma, Robert J. Bonneau
Griechische Verslehre
  • DJVU
  • немецкий
  • Year: 1993
  • Author: Sicking C. M.J.
search