Home Advanced Search

Advanced Search - Page 1

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.)
Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002 Portland, OR, USA, November 6–8, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Thomas F. Melham, Robert B. Jones (auth.), Mark D. Aagaard, John W. O’Leary (eds.)
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Thomas Kropf (auth.), Yves Bertot, Gilles Dowek, Laurent Théry, André Hirschowitz, Christine Paulin (eds.)
The Soviet Defence-Industry Complex from Stalin to Khrushchev
  • PDF
  • English
  • Year: 2000
  • Author: John Barber, Mark Harrison (eds.)
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions
  • PDF
  • English
  • Year: 2004
  • Author: Yves Bertot, Pierre Castéran
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
  • DJVU
  • English
  • Year: 2004
  • Author: Yves Bertot, Pierre Castéran
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
  • DJVU
  • English
  • Year: 2004
  • Author: Yves Bertot, Pierre Castéran
Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1–3, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Robert Beers, Rajnish Ghughal, Mark Aagaard (auth.), Warren A. Hunt Jr., Steven D. Johnson (eds.)
Legitimacy, Meaning, and Knowledge in the Making of Taiwanese Identity
  • PDF
  • English
  • Year: 2006
  • Author: Mark Harrison (auth.)
search