Interactive Theorem Proving: First International Conference, Itp 2010 Edinburgh, Uk, July 11-14, 2010, Proceedings

Interactive Theorem Proving: First International Conference, Itp 2010 Edinburgh, Uk, July 11-14, 2010, Proceedings - Paperback

Sold out
$192.31 - $192.31
$192.31
$192.31 - $192.31
$192.31
Availability: Out of Stock
SKU 9783642140518

You may also like

  • !Ah y Le Lo Lay, Le Lo Ley! Musica Tipica de Puerto Rico

    !Ah y Le Lo Lay, Le Lo Ley! Musica Tipica de Puerto Rico - Paperback

    In stock

    Report copyright infringementby Nereida Ayala-Guzman (Author)Pretendemos por medio de "Ahi Le Lo Lai Le Lo Lei, Música Típica de Puerto Rico", resa...

    View full details
    $38.88 - $38.88
    $38.88
    $38.88 - $38.88
    $38.88
    $38.88 - $38.88
    $38.88
    $38.88 - $38.88
    $38.88
  • !Búscalo! (Look It Up!): A Quick Reference Guide to Spanish Grammar and Usage

    !Búscalo! (Look It Up!): A Quick Reference Guide to Spanish Grammar and Usage - Hardcover

    In stock

    Report copyright infringementby William M. Clarkson (Author)A novel approach--very useful for quick reference.--Mark Goldin Associate Professor of ...

    View full details
    $39.52 - $39.52
    $39.52
    $39.52 - $39.52
    $39.52
    $39.52 - $39.52
    $39.52
    $39.52 - $39.52
    $39.52
  • !Búscalo! (Look It Up!): A Quick Reference Guide to Spanish Grammar and Usage

    !Búscalo! (Look It Up!): A Quick Reference Guide to Spanish Grammar and Usage - Paperback

    In stock

    Report copyright infringementby William M. Clarkson (Author)"A novel approach-very useful for quick reference." --Mark Goldin, Associate Professor...

    View full details
    $24.92 - $24.92
    $24.92
    $24.92 - $24.92
    $24.92
    $24.92 - $24.92
    $24.92
    $24.92 - $24.92
    $24.92
  • !Eureka!

    !Eureka! - Hardcover

    In stock

    Report copyright infringementby Peter Santino (Author)A Practical Guide to Understanding and UtilizingTraditional Techniques of Plaster Repair &...

    View full details
    $46.29 - $46.29
    $46.29
    $46.29 - $46.29
    $46.29
    $46.29 - $46.29
    $46.29
    $46.29 - $46.29
    $46.29
  • !LETTER TO THE UNITED NATIONS! !REPARATIONS NOW! The Many Reasons Why: St. Mark's-in-the-Bowery Church, The Dutch Royal Family, The Kingdom of the Net

    !LETTER TO THE UNITED NATIONS! !REPARATIONS NOW! The Many Reasons Why: St. Mark's-in-the-Bowery Church, The Dutch Royal Family, The Kingdom of the Net - Paperback

    In stock

    Report copyright infringementby K. F. Harris (Author)This book !Letter to the United Nations! !Reparations Now! The Many Reasons Why: St. Mark's-in...

    View full details
    $86.38 - $86.38
    $86.38
    $86.38 - $86.38
    $86.38
    $86.38 - $86.38
    $86.38
    $86.38 - $86.38
    $86.38
Shop collection