𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2007 Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Timisoara, Romania (2007.9.26-2007.9.29)] Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007) - The Gradual Computerisation of Mathematics in MathLang

✍ Scribed by Kamareddine, Fairouz

Book ID: 126752446
Publisher: IEEE
Year: 2007
Weight: 399 KB
Category: Article
DOI: 10.1109/SYNASC.2007.85

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2007 Ninth International Symposium

[IEEE 2007 Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Timisoara, Romania (2007.9.26-2007.9.29)] Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007) - SymGrid: A Framework for Symbolic Computations on the Grid

✍ Hammond, Kevin 📂 Article 📅 2007 🏛 IEEE ⚖ 399 KB

[IEEE 2007 Ninth International Symposium

[IEEE 2007 Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Timisoara, Romania (2007.9.26-2007.9.29)] Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007) - An Agent for Constraint Acquisition and Emergence

✍ Quinqueton, Joel; Raymond, Gilles; Bessiere, Christian 📂 Article 📅 2007 🏛 IEEE ⚖ 608 KB

[IEEE 2007 Ninth International Symposium

[IEEE 2007 Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Timisoara, Romania (2007.9.26-2007.9.29)] Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007) - Semantic Categorization and Retrieval of Images

✍ Ion, Anca Loredana; Stanescu, Liana; Burdescu, Dan 📂 Article 📅 2007 🏛 IEEE ⚖ 840 KB

[IEEE 2007 Ninth International Symposium

[IEEE 2007 Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Timisoara, Romania (2007.9.26-2007.9.29)] Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007) - Sharing Rules between JBoss and Jena

✍ Nicolae, Oana; Diaconescu, Ion-Mircea; Giurca, Adrian; Wagner, Gerd 📂 Article 📅 2007 🏛 IEEE ⚖ 448 KB

[IEEE 2007 Ninth International Symposium

[IEEE 2007 Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Timisoara, Romania (2007.9.26-2007.9.29)] Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007) - Diagrammatic Description of Satellite Image Processing Workflow

✍ Radu, Anca; Bacu, Victor; Gorgan, Dorian 📂 Article 📅 2007 🏛 IEEE ⚖ 948 KB

[IEEE 2007 Ninth International Symposium

[IEEE 2007 Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Timisoara, Romania (2007.9.26-2007.9.29)] Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007) - Relational Declarative Programming with JBoss Drools

✍ Proctor, Mark 📂 Article 📅 2007 🏛 IEEE ⚖ 395 KB