Konferenzschrift | Kongress

Intelligent computer mathematics : 10th international conference ... ; proceedings

to connected objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783642141270
Dimensions
24 cm
Extent
XV, 469 S.
Language
Englisch
Notes
graph. Darst.
Literaturangaben

Bibliographic citation
Lecture notes in computer science ; 6167 : Lecture notes in artificial intelligence

Keyword
Automatisches Beweisverfahren
Computeralgebra
Mathematik
Wissensmanagement

Event
Veröffentlichung
(where)
Berlin, Heidelberg, New York, NY
(who)
Springer
(when)
2010
Contributor
Autexier, Serge
AISC (10 : 2010 : Paris)

Table of contents
Rights
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Last update
11.06.2025, 2:16 PM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Show original at data provider

Object type

  • Konferenzschrift
  • Kongress

Associated

  • Autexier, Serge
  • AISC (10 : 2010 : Paris)
  • Springer

Time of origin

  • 2010

Other Objects (12)

Intelligent virtual agents : 10th international conference ; proceedings

Konferenzschrift | Kongress 2010

Intelligent virtual agents : 10th international conference ; proceedings

Mathematics of program construction : 10th international conference ; proceedings

Konferenzschrift | Kongress

Mathematics of program construction : 10th international conference ; proceedings

Intelligent computer mathematics : 11th international conference ... ; proceedings

Konferenzschrift | Kongress

Intelligent computer mathematics : 11th international conference ... ; proceedings

Intelligent computer mathematics : proceedings

Konferenzschrift | Kongress

Intelligent computer mathematics : proceedings

Intelligent computer mathematics : proceedings

Konferenzschrift | Kongress

Intelligent computer mathematics : proceedings

Intelligent computer mathematics : proceedings

Konferenzschrift | Kongress

Intelligent computer mathematics : proceedings

Intelligent computer mathematics : proceedings

Konferenzschrift | Kongress 2009

Intelligent computer mathematics : proceedings

Computational linguistics and intelligent text processing : 10th international conference ; proceedings

Konferenzschrift | Kongress

Computational linguistics and intelligent text processing : 10th international conference ; proceedings

Advanced concepts for intelligent vision systems : 10th international conference ; proceedings

Konferenzschrift | Kongress

Advanced concepts for intelligent vision systems : 10th international conference ; proceedings

Intelligent data engineering and automated learning : 10th international conference ; proceedings

Konferenzschrift | Kongress

Intelligent data engineering and automated learning : 10th international conference ; proceedings

Foundations of intelligent systems : 10th international symposium ; proceedings

Konferenzschrift | Kongress

Foundations of intelligent systems : 10th international symposium ; proceedings

Compiler construction : 10th international conference ; proceedings

Konferenzschrift | Kongress

Compiler construction : 10th international conference ; proceedings

Related objects