Home Advanced Search

Advanced Search - Page 1

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.)
Thirty Five Years of Automating Mathematics
  • PDF
  • English
  • Year: 2003
  • Author: Fairouz D. Kamareddine (eds.)
Intelligent Technologies and Applications: First International Conference, INTAP 2018, Bahawalpur, Pakistan, October 23-25, 2018, Revised Selected Papers
  • PDF
  • English
  • Year: 2019
  • Author: Imran Sarwar Bajwa, Fairouz Kamareddine, Anna Costa
Type Theory and Formal Proof: An Introduction
  • PDF
  • English
  • Year: 2014
  • Author: Professor Rob Nederpelt, Professor Herman Geuvers
Type Theory and Formal Proof: An Introduction
  • PDF
  • English
  • Year: 2014
  • Author: Professor Rob Nederpelt, Professor Herman Geuvers
Reptiles of Costa Rica: A Field Guide
  • PDF
  • English
  • Year: 2019
  • Author: Twan Leenders
Amphibians of Costa Rica: A Field Guide
  • PDF
  • English
  • Year: 2016
  • Author: Twan Leenders
Reptiles of Costa Rica: A Field Guide
  • PDF
  • English
  • Year: 2019
  • Author: Twan Leenders
search