OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] : Foreword by Alan Bundy

>> Google Books

OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] : Foreword by Alan Bundy

フォーマット:

電子ブック

責任表示:

edited by Michael Kohlhase

言語:

英語

出版情報:

Berlin Heidelberg : Springer-Verlag GmbH., 2006

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 4180

書誌ID:

NB02218378

ISBN:

9783540378983 [3540378987]

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

子書誌情報

オンライン

http://dx.doi.org/10.1007/11826095

所蔵情報

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

詳細

主題:	Artificial Intelligence (incl. Robotics); Computer Science; Information Storage and Retrieval; Library Science; Mathematical Logic and Formal Languages; Mathematics general; Symbolic and Algebraic Manipulation
分類・件名:	FREE : Information Storage and Retrieval LCSH : Computer science LCSH : Information storage and retrieval systems FREE : Computer Science FREE : Artificial Intelligence (incl. Robotics) FREE : Library Science FREE : Mathematics general FREE : Mathematical Logic and Formal Languages LCSH : Algebra -- Data processing LCSH : Artificial intelligence LCSH : Mathematics FREE : Symbolic and Algebraic Manipulation
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 電子ブック Logics in Artificial Intelligence : 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings Janhunen, Tomi, Niemelä, Ilkka, SpringerLink (Online service) Springer-Verlag 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 電子ブック Relational Methods in Computer Science : 8th International Seminar on Relational Methods in Computer Science 3rd International Workshop on Applications of … MacCaull Wendy, Winter Michael, D-ntsch Ivo, SpringerLink (Online service) Springer-Verlag GmbH.
3 電子ブック Computational Processing of the Portuguese Language : 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 Proceedings Carbonell, Jaime G., Lima, Vera Lucia Strube, Teixeira, Antonio, Siekmann, Jorg, Quaresma, Paulo, Oliveira, Luis Caldas, … Springer-Verlag	9 電子ブック Types for Proofs and Programs : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers Miculan, Marino, Honsell, Furio, Scagnetto, Ivan, SpringerLink (Online service) Springer-Verlag
4 電子ブック Algebraic Methodology and Software Technology : 11th International Conference AMAST 2006 Kuressaare Estonia July 5-82006 Proceedings Johnson Michael, Vene Varmo, SpringerLink (Online service) Springer-Verlag GmbH.	10 電子ブック Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings Hutchison, David, Terzopoulos, Demetri, Steffen, Bernhard, Vardi, Moshe Y., Nierstrasz, Oscar, Mitchell, John C., … Springer-Verlag
5 電子ブック Term Rewriting and Applications (vol. 4098) : 17th International Conference RTA 2006 Seattle WA USA August 12-142006 Proceedings Pfenning Frank, SpringerLink (Online service) Springer-Verlag GmbH.	11 電子ブック Towards Mechanized Mathematical Assistants : 14th Symposium Calculemus 2007 6th International Conference MKM 2007 Hagenberg Austria June 27-30 2007. Proceedings Kauers Manuel, Windsteiger Wolfgang, Miner Robert, Kerber Manfred, SpringerLink (Online service) Springer-Verlag
6 電子ブック Relational and Algebraic Methods in Computer Science : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. … Swart, Harrie, SpringerLink (Online service) Springer Berlin Heidelberg	12 電子ブック Advanced Digital Preservation Giaretta, David, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg