Home Advanced Search

Advanced Search - Page 1

Computer and Information Science 2012
  • PDF
  • English
  • Year: 2012
  • Author: Kashif Hameed, Imran Sarwar Bajwa (auth.), Roger Lee (eds.)
Thirty Five Years of Automating Mathematics
  • PDF
  • English
  • Year: 2003
  • Author: Fairouz D. Kamareddine (eds.)
A Modern Perspective on Type Theory: From its Origins until Today
  • DJVU
  • English
  • Year: 2005
  • Author: Fairouz Kamareddine, Twan Laan, Rob Nederpelt
A Modern Perspective on Type Theory: From its Origins until Today
  • DJVU
  • English
  • Year: 2005
  • Author: Fairouz Kamareddine, Twan Laan, Rob Nederpelt
A Modern Perspective on Type Theory: From its Origins until Today
  • PDF
  • English
  • Year: 2005
  • Author: Fairouz Kamareddine, Twan Laan, Rob Nederpelt (auth.)
The China-Japan Conflict over the Senkaku/Diaoyu Islands
  • EPUB
  • English
  • Year: 2019
  • Author: Anna Costa