Towards Mechanized Mathematical Assistants : 14th Symposium Calculemus 2007 6th International Conference MKM 2007 Hagenberg Austria June 27-30 2007. Proceedings

>> Google Books

Towards Mechanized Mathematical Assistants : 14th Symposium Calculemus 2007 6th International Conference MKM 2007 Hagenberg Austria June 27-30 2007. Proceedings

フォーマット:

電子ブック

責任表示:

edited by Manuel Kauers Manfred Kerber Robert Miner W

言語:

英語

出版情報:

Berlin Heidelberg : Springer-Verlag, 2007

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 4573

書誌ID:

NB02218832

ISBN:

9783540730866 [3540730869]

学内からのみアクセスすることができます。

子書誌情報

オンライン

http://dx.doi.org/10.1007/978-3-540-73086-6

所蔵情報

タイトルが類似している資料

詳細

主題:	Artificial Intelligence (incl. Robotics); Computer Communication Networks; Computer Science; Data Mining and Knowledge Discovery; Database Management; Information Systems Applications (incl.Internet); Mathematics general
分類・件名:	LCSH : Database management FREE : Information Systems Applications (incl.Internet) LCSH : Data mining FREE : Mathematics general LCSH : Information systems FREE : Database Management FREE : Data Mining and Knowledge Discovery FREE : Computer Communication Networks FREE : Artificial Intelligence (incl. Robotics) FREE : Computer Science LCSH : Mathematics LCSH : Artificial intelligence LCSH : Computer Communication Networks
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Mathematical Knowledge Management (vol. 3863) : 4th International Conference MKM 2005 Bremen Germany July 15-172005 Revised Selected Papers Kohlhase Michael, SpringerLink (Online service) Springer-Verlag GmbH.	7 電子ブック Geographic Information Science : 6th International Conference, GIScience 2010, Zurich, Switzerland, September 14-17, 2010. Proceedings Fabrikant, Sara Irina, Reichenbacher, Tumasch, Kreveld, Marc, Schlieder, Christoph, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg
2 電子ブック Mathematical Knowledge Management (vol. 4108) : 5th International Conference MKM 2006 Wokingham UK August 11-122006 Proceedings Borwein Jonathan M., Farmer William M., SpringerLink (Online service) Springer-Verlag GmbH.	8 電子ブック Reasoning Web. Semantic Technologies for Software Engineering : 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial … Asmann, Uwe, Bartho, Andreas, Wende, Christian, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg
3 電子ブック Intelligent Computer Mathematics : 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July … Hutchison, David, Kanade, Takeo, Naor, Moni, Steffen, Bernhard, Vardi, Moshe Y., Weikum, Gerhard, Goebel, Randy, … Springer Berlin Heidelberg	9 電子ブック Natural Language Processing and Information Systems : 14th International Conference on Applications of Natural Language to Information Systems, NLDB 2009, … Horacek, Helmut, Metais, Elisabeth, Munoz, Rafael, Wolska, Magdalena, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg
4 電子ブック Multidisciplinary Information Retrieval : Second Information Retrieval Facility Conference, IRFC 2011, Vienna, Austria, June 6, 2011. Proceedings Hanbury, Allan, Rauber, Andreas, Vries, Arjen P., SpringerLink (Online service) Springer Berlin Heidelberg	10 電子ブック Data Integration in the Life Sciences : 4th International Workshop DILS 2007 Philadelphia PA USA June 27-29 2007. Proceedings Cohen-Boulakia Sarah, Tannen Val, SpringerLink (Online service) Springer-Verlag
5 電子ブック The Semantic Web: Research and Applications : 4th European Semantic Web Conference ESWC 2007 Innsbruck Austria June 3-7 2007. Proceedings Franconi Enrico, May Wolfgang, Kifer Michael, SpringerLink (Online service) Springer-Verlag	11 電子ブック Service-Oriented Computing: Agents Semantics and Engineering : AAMAS 2007 International Workshop SOCASE 2007 Honolulu HI USA May 14 2007. Proceedings Huang Jingshan, Stoutenburg Suzette, Kowalczyk Ryszard, Muller Ingo, Martin David, Maamar Zakaria, Sycara Katia P., … Springer-Verlag
6 電子ブック Active Media Technology : 6th International Conference, AMT 2010, Toronto, Canada, August 28-30, 2010. Proceedings An, Aijun, Lingras, Pawan, Petty, Sheila, Huang, Runhe, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg	12 電子ブック Web Engineering : 10th International Conference, ICWE 2010, Vienna Austria, July 5-9, 2010. Proceedings Benatallah, Boualem, Casati, Fabio, Kappel, Gerti, Rossi, Gustavo, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg