Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lec

Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lec

  • List Price: $99.00
  • ISBN-10: 3540432876
  • ISBN-13: 9783540432876
  • Edition: 2002nd
  • Type: Paperback
  • Publisher: Springer

About The Book

This book contains a selection of papers presented at the ?rst annual workshop of the TYPES Working Group (Computer-Assisted Reasoning Based on Type... Read more

FINDING THE BEST PRICES

Related Books

Art Power
$1490

Art Power

  • Year: 2008
  • Edition:
  • Publisher: MIT Press
  • Type: Hardcover
  • ISBN13: 9780262072922
  • ISBN: 0262072920
The Weimar Years: A Culture Cut Short
  • Year: 2011
  • Edition:
  • Publisher: Thames & Hudson
  • Type: Paperback
  • ISBN13: 9780500273111
  • ISBN: 0500273111
Surrealism (Movements in Modern Art)
  • Year: 1997
  • Edition:
  • Publisher: Cambridge University Press
  • Type: Paperback
  • ISBN13: 9780521627566
  • ISBN: 0521627567