✦ LIBER ✦

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 5625 || ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System

✍ Scribed by Carette, Jacques; Dixon, Lucas; Coen, Claudio Sacerdoti; Watt, Stephen M.

Book ID: 118029265
Publisher: Springer Berlin Heidelberg
Year: 2009
Weight: 562 KB
Category: Article
ISBN: 3642026141
DOI: 10.1007/978-3-642-02614-0_13

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Intelligent Systems Volume 1325 || Program synthesis from examples by theory formation

✍ Raś, Zbigniew W.; Skowron, Andrzej 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 800 KB

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 4160 || Automatic Deductive Synthesis of Lisp Programs in the System ALISA

✍ Fisher, Michael; Hoek, Wiebe; Konev, Boris; Lisitsa, Alexei 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 277 KB

This Book Constitutes The Refereed Proceedings Of The 10th European Conference On Logics In Artificial Intelligence, Jelia 2006. The 34 Revised Full Papers And 12 Revised Tool Description Papers Presented Together With 3 Invited Talks Were Carefully Reviewed And Selected From 96 Submissions. The Pap

[Lecture Notes in Computer Science] Prog

[Lecture Notes in Computer Science] Programming Languages and System Architectures Volume 782 || On the essence of Oberon

✍ Gutknecht, Jürg 📂 Article 📅 1994 🏛 Springer Berlin Heidelberg ⚖ 921 KB

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1996 Volume 1113 || From specifications to programs: A fork-algebraic approach to bridge the gap

✍ Penczek, Wojciech; Szałas, Andrzej 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 599 KB

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 2006 Volume 4162 || Systems of Equations over Finite Semigroups and the #CSP Dichotomy Conjecture

✍ Královič, Rastislav; Urzyczyn, Paweł 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 464 KB

This Book Constitutes The Refereed Proceedings Of The 31st International Symposium On Mathematical Foundations Of Computer Science, Mfcs 2006. The Book Presents 62 Revised Full Papers Together With The Full Papers Or Abstracts Of 7 Invited Talks. All Current Aspects In Theoretical Computer Science A

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computational Intelligence and Bioinspired Systems Volume 3512 || The Curse of Dimensionality in Data Mining and Time Series Prediction

✍ Cabestany, Joan; Prieto, Alberto; Sandoval, Francisco 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 635 KB