✦ LIBER ✦

[Lecture Notes in Computer Science] Design and Implementation of Symbolic Computation Systems Volume 721 || Combinatory models and symbolic computation

✍ Scribed by Fitch, John

Book ID: 120031101
Publisher: Springer Berlin Heidelberg
Year: 1993
Weight: 758 KB
Category: Article
ISBN: 3540480315
DOI: 10.1007/3-540-57272-4_29

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Desi

[Lecture Notes in Computer Science] Design and Implementation of Symbolic Computation Systems Volume 429 || Mas Modula-2 algebra system

✍ Miola, Alfonso 📂 Article 📅 1990 🏛 Springer Berlin Heidelberg ⚖ 166 KB

[Lecture Notes in Computer Science] Desi

[Lecture Notes in Computer Science] Design and Implementation of Symbolic Computation Systems Volume 1128 || A deductive database for mathematical formulas

✍ Calmet, Jacques; Limongelli, Carla 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 706 KB

[Lecture Notes in Computer Science] Symb

[Lecture Notes in Computer Science] Symbolic and Algebraic Computation Volume 72 || TLISP — A “transportable-lisp” implemented in pcode

✍ Ng, Edward W. 📂 Article 📅 1979 🏛 Springer Berlin Heidelberg ⚖ 725 KB

[Lecture Notes in Computer Science] Symb

[Lecture Notes in Computer Science] Symbolic and Algebraic Computation Volume 358 || A new algorithm for computing symbolic limits using hierarchical series

✍ Gianni, P. 📂 Article 📅 1989 🏛 Springer Berlin Heidelberg ⚖ 327 KB

[Lecture Notes in Computer Science] Hybr

[Lecture Notes in Computer Science] Hybrid Systems: Computation and Control Volume 2993 || Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks

✍ Alur, Rajeev; Pappas, George J. 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 169 KB

This Volume Contains The Proceedings Of The 7th Workshop On Hybrid Systems: Computation And Control (hscc 2004) Held In Philadelphia, Usa, From March 25 To 27, 2004. The Annual Workshop On Hybrid Systems Attracts Researchers From Academia And Industry Interested In Modeling, Analysis, And Implemen-

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1995 Volume 969 || Symbolic dynamics and finite automata

✍ Wiedermann, Jiří; Hájek, Petr 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg ⚖ 609 KB