Le cluster mathweb - system
| 000154 (2002) | Jürgen Zimmer [Allemagne] ; Michael Kohlhase [États-Unis] | System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning |
| 000179 (1999) | Andreas Franke [Allemagne] ; Michael Kohlhase [Allemagne] | System Description: MathWeb , an Agent-Based Communication Layer for Distributed Automated Theorem Proving |
| 000166 (2001) | Michael Kohlhase [États-Unis] ; Andreas Franke [Allemagne] | MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems |
| 000167 (2001) | Jürgen Lind [Allemagne] | Issues in Agent-Oriented Software Engineering |
| 000057 (2010) | L. K. Emmons [États-Unis] ; S. Walters [États-Unis] ; P. G. Hess [États-Unis] ; J.-F. Lamarque [États-Unis] ; G. G. Pfister [États-Unis] ; D. Fillmore [États-Unis] ; Claire Granier [États-Unis] ; A. Guenther [États-Unis] ; D. Kinnison [États-Unis] ; T. Laepple [États-Unis] ; J. Orlando [États-Unis] ; X. Tie [États-Unis] ; G. Tyndall [États-Unis] ; C. Wiedinmyer [États-Unis] ; S. L. Baughcum ; S. Kloster [Allemagne] | Description and evaluation of the Model for Ozone and Related chemical Tracers, version 4 (MOZART-4) |
| 000096 (2008) | Caspar Franzen [Allemagne] | Leopold Mozart and the first description of erythema nodosum. |
| 000099 (2008) | Oleg Lobachev [Allemagne] ; Rita Loogen [Allemagne] | Towards an Implementation of a Computer Algebra System in a Functional Language |
| 000101 (2008) | Kei Davis [États-Unis] ; Jörg Striegnitz [Allemagne] | Multiparadigm Programming in Object-Oriented Languages: Current Research |
| 000129 (2005) | Rudolf Wille [Allemagne] | Formal Concept Analysis as Mathematical Theory of Concepts and Concept Hierarchies |
| 000147 (2004) | Wolfgang Malzer [Allemagne] ; Oliver Hahn [Allemagne] ; Birgit Kanngiesser [Allemagne] | A fingerprint model for inhomogeneous ink–paper layer systems measured with micro‐x‐ray fluorescence analysis |
| 000230 (1987) | F. Wankmüller [Allemagne] | Application of graph grammars in music composing systems |
| This area was generated with Dilib version V0.6.20. |  |