Konferenzschrift | Kongress

Intelligent computer mathematics : proceedings

to related objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783540851097
Dimensions
24 cm
Extent
XIV, 600 S.
Language
Englisch
Notes
graph. Darst.
Literaturangaben

Bibliographic citation
Lecture notes in computer science ; Vol. 5144 : Lecture notes in artificial intelligence

Keyword
Automatisches Beweisverfahren
Computeralgebra
Mathematik
Wissensmanagement

Event
Veröffentlichung
(where)
Berlin, Heidelberg, New York, NY
(who)
Springer
(when)
2008
Contributor
Autexier, Serge
AISC (9 : 2008 : Birmingham)

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, 1:50 PM CEST

Data provider

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

Object type

  • Konferenzschrift
  • Kongress

Associated

  • Autexier, Serge
  • AISC (9 : 2008 : Birmingham)
  • Springer

Time of origin

  • 2008

Other Objects (12)

Intelligent computer mathematics : proceedings

Konferenzschrift | Kongress

Intelligent computer mathematics : proceedings

Intelligent computer mathematics : proceedings

Konferenzschrift | Kongress

Intelligent computer mathematics : proceedings

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

Konferenzschrift | Kongress

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

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

Konferenzschrift | Kongress

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

Intelligent computer mathematics : proceedings

Konferenzschrift | Kongress 2009

Intelligent computer mathematics : proceedings

Computer networks and intelligent computing : proceedings

Konferenzschrift | Kongress

Computer networks and intelligent computing : proceedings

Intelligent agents : proceedings

Konferenzschrift | Kongress

Intelligent agents : proceedings

Discrete mathematics and theoretical computer science : 4th international conference ; proceedings

Konferenzschrift | Kongress

Discrete mathematics and theoretical computer science : 4th international conference ; proceedings

Computers and mathematics

Konferenzschrift | Kongress

Computers and mathematics

Intelligent information technology : proceedings

Konferenzschrift | Kongress

Intelligent information technology : proceedings

Computer graphics and mathematics

Konferenzschrift | Kongress

Computer graphics and mathematics

Uncertainty and intelligent systems : proceedings

Konferenzschrift | Kongress

Uncertainty and intelligent systems : proceedings

Related objects