Types for Proofs and Programs
Stefano Berardi, Mario Coppo, Ferruccio Damiani
₹5,586
Types for Proofs and Programs
international workshop TYPES '95
by Stefano Berardi, Mario Coppo
Springer · 1996 · Paperback
₹5,591
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Types for Proofs and Programs: international workshop TYPES '95 by Stefano Berardi & Mario Coppo is a 296-page paperback edition published by Springer in 1996. The book is part of the Lecture notes in computer science series.
The book deals with Congresses and Automatic theorem proving.
Book details
- ISBN-13
- 9783540617808
- ISBN-10
- 3540617809
- Authors
- Stefano Berardi, Mario Coppo
- Publisher
- Springer
- Published
- 1996
- Series
- Lecture notes in computer science
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 296
- Language
- English
- Condition
- New
More by Stefano Berardi and related titles
Cystogenesis
Curie Ahn Jong Hoon Park
₹3,083
Die Psychoanalyse
Oswald Bumke
₹5,802
Die Entwickelung Des Niederrheinisch-Westfälischen Steinkohlen-Bergbaues in Der Zweiten Hälfte Des 1
Verein Für Die Bergbaulichen Interessen
₹5,330
Pi-algebras
Nathan Jacobson
₹3,285
DNA Methylation
Walter Doerfler, Petra Böhm
₹4,865
Neural Engineering
He B.
₹2,044
Design of Digital Systems and Devices
Marian Adamski, Alexander Barkalov, Marek Wegrzyn
₹4,552
Ai 2011
Dianhui Wang, Mark Reynolds
₹5,821
Théories Spectrales
N. Bourbaki
₹3,548
Transactions on Computational Science XV
Marina L. Gavrilova, C. J. Kenneth Tan, Cong-Vinh Phan
₹5,498
Hybrid Artificial Intelligent Systems
Emilio S. Corchado Rodriguez, Vaclav Snasel, Ajit Abraham
₹5,551