|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| ![](thumb.php?src=products/354/9783540664635.jpg&wmax=80&hmax=80) | Theorem Proving in Higher Order Logics: 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings 1999 Edition (Lecture Notes in Computer Science,) | Bertot, Yves | Paperback | 3540664637 / 9783540664635 | 09/1999 | $52.24 |
| ![](thumb.php?src=products/081/9780817630225.jpg&wmax=80&hmax=80) | Vector Bundles and Differential Equations: Proceedings, Nice, France June 12-17, 1979 1980 Edition (Progress in Mathematics) | Hirschowitz, André | Paperback | 0817630228 / 9780817630225 | 01/1980 | $52.24 |
|
|
|