✦ LIBER ✦

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

✍ Scribed by Calmet, Jacques; Limongelli, Carla

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Hybr

✍ Tomlin, Claire J.; Greenstreet, Mark R. 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg ⚖ 266 KB

[Lecture Notes in Computer Science] Math

✍ Bečvář, Jiří 📂 Article 📅 1979 🏛 Springer Berlin Heidelberg ⚖ 292 KB

[Lecture Notes in Computer Science] Prog

✍ Dastani, Mehdi M.; Dix, Jürgen; El Fallah-Seghrouchni, Amal 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 485 KB

[Lecture Notes in Computer Science] Comp

✍ Hulzen, J. A. 📂 Article 📅 1983 🏛 Springer Berlin Heidelberg ⚖ 989 KB

[Lecture Notes in Computer Science] Para

✍ Wyrzykowski, Roman; Dongarra, Jack; Karczewski, Konrad; Wasniewski, Jerzy 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 622 KB

[Lecture Notes in Computer Science] Symb

✍ Ng, Edward N. 📂 Article 📅 1979 🏛 Springer Berlin Heidelberg ⚖ 419 KB