Towards Mechanized Mathematical Assistants : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings /
Shranjeno v:
Korporativna značnica: | SpringerLink (Online service). |
---|---|
Drugi avtorji: | Kauers, Manuel. (Editor), Kerber, Manfred. (Editor), Miner, Robert. (Editor), Windsteiger, Wolfgang. (Editor) |
Format: | eKnjiga |
Jezik: | English |
Izdano: |
Berlin ; Heidelberg :
Springer,
2007.
|
Serija: | Lecture Notes in Computer Science,
4573 |
Teme: | |
Oznake: |
Označite
Brez oznak, prvi označite!
|
Podobne knjige/članki
-
Advances in Spatial and Temporal Databases 10th International Symposium, SSTD 2007, Boston, MA, USA, July 16-18, 2007. Proceedings /
Izdano: (2007) -
Web Information Systems Engineering - WISE 2007 8th International Conference on Web Information Systems Engineering Nancy, France, December 3-7, 2007 Proceedings /
Izdano: (2007) -
GeoSpatial Semantics Second International Conference, GeoS 2007, Mexico City, Mexico, November 29-30, 2007. Proceedings /
Izdano: (2007) -
Web Information Systems Engineering - WISE 2007 Workshops WISE 2007 International Workshops Nancy, France, December 3, 2007 Proceedings /
Izdano: (2007) -
Data Warehousing and Knowledge Discovery 9th International Conference, DaWaK 2007, Regensburg Germany, September 3-7, 2007. Proceedings /
Izdano: (2007)