English
Deutsch
Français
简体中文
繁體中文
Categories
Study
-- IT Certification
-- Mathematics
-- Physics
Novel
Nonfiction
Health
Tutorial
Entertainment
Business
Magazine
Arts & Design
Audiobooks & Video Training
Cultures & Languages
Family & Home
Law & Politics
Lyrics & Music
Software Related
eBook Torrents
Uncategorized
Share With Friends
Archive by Date
2012-08-05
2012-08-04
2012-08-03
2012-08-02
2012-08-01
2012-07-31
2012-07-30
2012-07-29
2012-07-28
Search Tag
Newest
Additive and Cancellative Interacting Particle Systems (Lecture Notes in Mathematics) by David Griffeath (Repost)
PI and the AGM: A Study in Analytic Number Theory and Computational Complexity by Jonathan M. Borwein (Repost)
Advances in Complex Function Theory (Lecture Notes in Mathematics) by W. E. Kirwan (Repost)
Synthetic inorganic chemistry a course of laboratory and classroom study by Arthur Alphonzo Blanchard (Repost)
Invitation to Law and Society - An Introduction to the Study of Real Law
Matrix Mathematics - Theory, Facts, and Formulas, Second Edition
Mathematics Probability, Markov Chains, Queues, and Simulation - The Mathematical Basis of Performance Modeling
-Physics, Topology, Logic and Computation: A Rosetta Stone- by John C. Baez adn Mike Stay
-Quantum Physics for Scientists and Technologists- by Paul Sanghera (Repost)
Algebraic Aspects of Cryptography (Algorithms and Computation in Mathematics) by Neal Koblitz (Repost)
Mathematics Mathematical Foundations of Computer Science 2004 [Repost]
Mathematics Mathematical Logic for Computer Science (3rd edition)
Physics Democracy and Public Space: The Physical Sites of Democratic Performance
Spaces of Holomorphic Functions in the Unit Ball (Graduate Texts in Mathematics) by Kehe Zhu (Repost)
An Introduction to Ergodic Theory (Graduate Texts in Mathematics) by Peter Walters (Repost)
Statistical and Thermal Physics - With Computer Applications
Introduction to the Physics of the Earth's Interior (Cambridge Topics in Mineral Ph) by Jean Paul Poirier (Repost)
Mathematics Symmetry Theory in Molecular Physics with Mathematica: A new kind of tutorial book (Repost)
THE GNOMON WORKSHOP CREATING A 3D FIGURE STUDY BOOKWARE ISO-LZ0
Useful Links
Study Susumu Hayashi, Hiroshi Nakano - PX: A Computational Logic
Posted on 2010-03-16
|  |
More Susumu Hayashi, Hiroshi Nakano - PX: A Computational Logic The computational logic PX (Program eXtractor) is used to verify programs, extract programs from constructive proofs, and give foundations to type theories. While it is well known theoretically that programs can be extracted from constructive proofs, this study shows how it can be done in practice. The authors give a precise description of the formal theory of PX, its semantics, the mathematical foundation of program extraction using PX, and several methodologies and their theories of program extraction. They also describe an experimental implementation of PX. Please appreciate my work to rock these links: if you can not, for whatever reason, then downloaded from these links, then download this: No another mirrors, please! >>> Read RULES >>> Download many interesting free eBooks HERE <<<
Rating:
2.5 out of 5 by Book123 |
| Download Links | |
| Server | Status |
|---|---|
| Direct Download Link 1 | Alive |
| Direct Download Link 2 | Alive |
| Download Link (SharingMatrix) | Alive |
| Download Link (Uploading) | Alive |
| Download Link (Depositfiles) | Alive |
| Download Link (Mirror) | Alive |
|
Buy This Book at Best Price >> | |
Related Articles
 | Computational Logic: Logic Programming and Beyond, Part II Antonis C. Kakas, Fariba Sadri "Computational Logic: Logic Programming and Beyond, Part II " Springer | 2002-08-26 | ISBN: 3540439609 | 628 pages | PDF | 4,2 Mb Mirror -> Mirror -> |
 | Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part I A.C. Kakas, F. Sadri "Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part I " Springer | 2002-08-26 | ISBN: 3540439595 | 678 pages | PDF | 4,9 Mb Mirror -> Mirror -> |
| Technical Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part I (Lecture Notes in Computer Science) Publisher: Springer; 1 editionLanguage: EnglishISBN: 3540439595Paperback: 678 pagesData: August 26, 2002Format: PDFDescription: This volume spans the whole field of computational logic seen from the point of view of logic programming. The t ... |
 | Technical Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part II (Lecture Notes in Computer Science) Publisher: Springer; 1 editionLanguage: EnglishISBN: 3540439609Paperback: 628 pagesData: August 26, 2002Format: PDFDescription: This volume spans the whole field of computational logic seen from the point of view of logic programming. The t ... |
 | Programming Computational Logic in Multi-Agent Systems Michael Fisher, Fariba Sadri, Michael Thielscher, "Computational Logic in Multi-Agent Systems" Springer | 2009 | ISBN: 3642027334 | 173 pages | PDF | 2,3 MB This book constitutes the thoroughly refereed and revised proceedings of the 9th ... |
 | Programming Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development Publisher: Springer | ISBN: 3540221522 | edition 2004 | PDF | 539 pages | 9,8 mb This book presents a unique state-of-the-art su ... |
Comments (0)
