Mathematical knowledge management third International Conference, MKM 2004, Białowieża, Poland, September 19 - 21, 2004 ; proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Berlin u.a.
Springer
2004
|
| Schriftenreihe: | Lecture Notes in Computer Science
3119 |
| Schlagworte: |
Démonstration automatique de théorèmes
> Mathématique discrète
> Mathématique
> Mathématiques - Informatique - Congrès
> Système d'information
> Systèmes d'information - Mathématiques - Congrès
> Théorèmes - Démonstration automatique - Congrès
> Datenverarbeitung
> Mathematik
> Automatic theorem proving
> Information storage and retrieval systems
> Mathematics
> Data processing
> Wissensmanagement
> Konferenzschrift
|
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | X, 392 S. Ill. 235 mm x 155 mm |
|---|---|
| ISBN: | 3540230297 3-540-23029-7 |