Konferenzschrift | Kongress

Intelligent computer mathematics : proceedings

to connected objects

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

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

Keyword
Computeralgebra
Automatisches Beweisverfahren
Mathematik
Wissensmanagement

Event
Veröffentlichung
(where)
Heidelberg, Dordrecht, London, New York, NY, Berlin
(who)
Springer
(when)
2013
Contributor
Carette, Jacques
Aspinall, David
Lange, Christoph
Sojka, Petr
Windsteiger, Wolfgang
MKM (12 : 2013 : Bath)
CICM (6 : 2013 : Bath)

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:28 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

  • Carette, Jacques
  • Aspinall, David
  • Lange, Christoph
  • Sojka, Petr
  • Windsteiger, Wolfgang
  • MKM (12 : 2013 : Bath)
  • CICM (6 : 2013 : Bath)
  • Springer

Time of origin

  • 2013

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 : 10th international conference ... ; proceedings

Konferenzschrift | Kongress

Intelligent computer mathematics : 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 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

Computers and mathematics

Konferenzschrift | Kongress

Computers and mathematics

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

Konferenzschrift | Kongress

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

Intelligent information technology : proceedings

Konferenzschrift | Kongress

Intelligent information technology : proceedings

Computer graphics and mathematics

Konferenzschrift | Kongress

Computer graphics and mathematics

Engineering of intelligent systems : proceedings

Konferenzschrift | Kongress

Engineering of intelligent systems : proceedings

Related objects