Copied Interactive Theorem Proving
Interactive Theorem Proving
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Interfacing Geostatstics and GIS
$169.99
Kriege ohne Grenzen
$59.99
Transferability of Fracture Mechanical Characteristics
$54.99
The Power of Un
$4.49
Auswirkungen demographischer Prozesse auf die Berufe und die Kosten im Gesundheitswesen
$69.99
Nondestructive Characterization of Materials
$84.99
Psychological Perspectives on Reality, Consciousness and Paranormal Experience
$109.99
Schicht- und Nachtarbeit im Betrieb
$59.99
Advances in Nonlinear Dynamics, Volume I
$299.99
Kristallstrukturen zweikomponentiger Phasen
$49.99
Stoffaufnahme von in vitro gezchteten Zellen, unter besonderer Bercksichtigung von Phagocytose und
$54.99
Gender and Corruption
$179.99
Behinderung der Schiffsgeschwindigkeit durch Bewuchs
$54.99
Numerical Algorithms with C
$39.99
Muslims and Jews in America
$109.99
Heart Valves
$169.99
The Characteristics of Chinese Cultural Spirit
$99.99
Design of Demining Machines
$109.99
Psychologische Heilkunde
$19.99
Intangible Impairment
$69.99
Category Theory
$34.99
Digital Libraries: Providing Quality Information
$54.99
Lebenslauf und Sozialisation
$29.99
Spectral Analysis of Nonlinear Operators
$39.99
The Indian Nationalist Movement 1885-1947: Select Documents
$79.99
Die Rolle von Unternehmen im IFRS-Standardsetzungsprozess
$49.99
What Is a Friend?
$3.71
The Gates of Gaza
$109.99
Information Infrastructure Systems for Manufacturing II
$169.99
Advances in Bioinformatics and Computational Biology
$54.99
Distributed Graph Analytics
$169.00
Acute Peripheral Vascular Surgery
$39.99
Now I Know: Seeds
$4.46
Crow Boy
$6.50
Design and Implementation of Symbolic Computation Systems
$39.99
Optimization of Distributed Parameter Structures Volume I
$54.99
Neo-Colonial Injustice and the Mass Imprisonment of Indigenous Women
$109.00
After the Empires
$54.99
Linear Fractional Diffusion-Wave Equation for Scientists and Engineers
$54.99
Handbook of Phenomenology and Medicine
$219.99
