Konferenzschrift | Kongress
Integrating symbolic mathematical computation and artificial intelligence : selected papers ; second international conference
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540601562
3540601562
- Dimensions
-
24 cm
- Extent
-
X, 275 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 958
- Keyword
-
Künstliche Intelligenz
Computeralgebra
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Barcelona, Budapest, Hong Kong, London, Milan, Paris, Tokyo
- (who)
-
Springer
- (when)
-
1995
- Contributor
-
Calmet, Jacques
AISMC (2 : 1994 : Cambridge)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:02 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Calmet, Jacques
- AISMC (2 : 1994 : Cambridge)
- Springer
Time of origin
- 1995
Other Objects (12)
Artificial intelligence and symbolic mathematical computation : international conference ; proceedings
Artificial intelligence and symbolic computation : proceedings
Artificial intelligence and symbolic computation : revised papers
Artificial intelligence and symbolic mathematical computing : proceedings
Artificial intelligence and symbolic computation : 7th international conference ; proceedings
Artificial intelligence and symbolic computation : 8th international conference ; proceedings
Symbolic numeric computation
Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences ; proceedings
Symbolic and algebraic computation : proceedings
Integrating Symbolic Execution, Debugging and Verification
Symbolic Computation with Python using SymPy
Towards diagrammatic specifications of symbolic computation systems
Artificial intelligence and symbolic mathematical computation : international conference ; proceedings
Artificial intelligence and symbolic computation : proceedings
Artificial intelligence and symbolic computation : revised papers
Artificial intelligence and symbolic mathematical computing : proceedings
Artificial intelligence and symbolic computation : 7th international conference ; proceedings
Artificial intelligence and symbolic computation : 8th international conference ; proceedings
Symbolic numeric computation
Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences ; proceedings
Symbolic and algebraic computation : proceedings
Integrating Symbolic Execution, Debugging and Verification
Symbolic Computation with Python using SymPy
Towards diagrammatic specifications of symbolic computation systems
Artificial intelligence and symbolic mathematical computation : international conference ; proceedings
Artificial intelligence and symbolic computation : proceedings
Artificial intelligence and symbolic computation : revised papers
Artificial intelligence and symbolic mathematical computing : proceedings
Artificial intelligence and symbolic computation : 7th international conference ; proceedings
Artificial intelligence and symbolic computation : 8th international conference ; proceedings
Symbolic numeric computation
Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences ; proceedings
Symbolic and algebraic computation : proceedings
Integrating Symbolic Execution, Debugging and Verification
Symbolic Computation with Python using SymPy