Home Advanced Search

Advanced Search - Page 1

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
  • DJVU
  • English
  • Year: 2004
  • Author: Yves Bertot, Pierre Castéran
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions
  • PDF
  • English
  • Year: 2004
  • Author: Yves Bertot, Pierre Castéran
Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14–18, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Antonia Balaa, Yves Bertot (auth.), Mark Aagaard, John Harrison (eds.)
Functional Programming in Java: How functional techniques improve your Java programs
  • EPUB
  • English
  • Year: 2017
  • Author: Pierre-Yves Saumont [Pierre-Yves Saumont]
Macrodynamics: Fluctuations and Growth : A Study of the Economy in Equilibrium and Disequilibrium
  • EPUB
  • English
  • Year: 2003
  • Author: Pierre-Yves Hénin; Pierre-Yves Hénin
Les quatre branches du « Mabinogi » et autres contes gallois du Moyen Âge
  • PDF
  • French
  • Year: 1993
  • Author: Pierre-Yves Lambert
The Joy of Kotlin
  • PDF
  • English
  • Year: 2019
  • Author: Pierre-Yves Saumont
La France des lumières
  • EPUB
  • French
  • Year: 2011
  • Author: Beaurepaire, Pierre-Yves
L'Armorial de Guillaume Revel Châteaux, villes et bourgs du forez au xve siècle
  • PDF
  • French
  • Year: 2011
  • Author: Pierre-Yves Laffont
L’identite De Jesus Et L’identite De Son Disciple: Le Recit De La Transfiguration Comme Clef De Lecture De L’evangile De Marc
  • PDF
  • French
  • Year: 2002
  • Author: Pierre-Yves Brandt
search