✦ LIBER ✦

[Lecture Notes in Computer Science] Eurocal '87 Volume 378 || Application of a structured LISP system to computer algebra

✍ Scribed by Davenport, James H.

Book ID: 111679853
Publisher: Springer Berlin Heidelberg
Year: 1989
Weight: 626 KB
Category: Article
ISBN: 3540482075
DOI: 10.1007/3-540-51517-8_104

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Euro

[Lecture Notes in Computer Science] Eurocal '87 Volume 378 || Converting SAC-2 code to lisp

✍ Davenport, James H. 📂 Article 📅 1989 🏛 Springer Berlin Heidelberg ⚖ 192 KB

[Lecture Notes in Computer Science] Euro

[Lecture Notes in Computer Science] Eurocal '87 Volume 378 || Automatic generation of FORTRAN-Coded Jacobians and Hessians

✍ Davenport, James H. 📂 Article 📅 1989 🏛 Springer Berlin Heidelberg ⚖ 711 KB

[Lecture Notes in Computer Science] Para

[Lecture Notes in Computer Science] Parallel Lisp: Languages and Systems Volume 441 || Mul-T: A high-performance parallel lisp

✍ Ito, Takayasu; Halstead, Robert H. 📂 Article 📅 1990 🏛 Springer Berlin Heidelberg ⚖ 500 KB

[Lecture Notes in Computer Science] Rela

[Lecture Notes in Computer Science] Relations and Kleene Algebra in Computer Science Volume 5827 || A Semiring Approach to Equivalences, Bisimulations and Control

✍ Berghammer, Rudolf; Jaoua, Ali Mohamed; Möller, Bernhard 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 263 KB

[Lecture Notes in Computer Science] 10th

[Lecture Notes in Computer Science] 10th International Conference on Automated Deduction Volume 449 || RCL: A lisp verification system

✍ Stickel, Mark E. 📂 Article 📅 1990 🏛 Springer Berlin Heidelberg ⚖ 139 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