Jump to main content

yr 〜
yr

Search results 18

Intelligent computer mathematics : MKM, Calculemus, DML, and systems and projects 2013 : held as part of CICM 2013 : Bath, UK, July 8-12, 2013 : proceedings : 12th international conference on mathematical knowledge management : 20th symposium on integration of symbolic computation and mechanized reasoning : 6th workshop/conference on digital mathematics libraries : Jul 2013, Bath, UK. (Lecture Notes in Computer Science ; 7961. Lecture Notes in Artificial Intelligence)

Intelligent computer mathematics : MKM, Calculemus, DML, and systems and projects 2013 : held as part of CICM 2013 : Bath, UK, July 8-12, 2013 : proceedings : 12th international conference on mathematical knowledge management : 20th symposium on integration of symbolic computation and mechanized reasoning : 6th workshop/conference on digital mathematics libraries : Jul 2013, Bath, UK. (Lecture Notes in Computer Science ; 7961. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2013.<M17-14-552>
National Diet Library
  • Note (General)...2 meeting, the DML workshop became a conference,...
  • Author Heading...Bath, England) DML (Workshop) (6th : 2013 : Bath...

Intelligent computer mathematics : 18th symposium, Calculemus 2011 and 10th international conference, MKM 2011 : Bertinoro, Italy, July 18-23, 2011 : proceedings : CICM : 18th symposium on the integration of symbolic computation and mechanized reasoning : 10th international conference on mathematical knowledge management : 4th workshop towards a digital mathematics library (DML 2011) : Jul 2011, Bertinoro, Italy. (Lecture Notes in Computer Science ; 6824. Lecture Notes in Artificial Intelligence)

Intelligent computer mathematics : 18th symposium, Calculemus 2011 and 10th international conference, MKM 2011 : Bertinoro, Italy, July 18-23, 2011 : proceedings : CICM : 18th symposium on the integration of symbolic computation and mechanized reasoning : 10th international conference on mathematical knowledge management : 4th workshop towards a digital mathematics library (DML 2011) : Jul 2011, Bertinoro, Italy. (Lecture Notes in Computer Science ; 6824. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2011.<M17-12-425>
National Diet Library

Intelligent computer mathematics : 11th international conference, AISC 2012 : 19th symposium, Calculemus 2012 : 5th international workshop, DML 2012 : 11th international conference, MKM 2012 : systems and projects, held as part of CICM 2012 : Bremen, Germany, July 8-13, 2012, proceedings : 11th international conference on mathematical knowledge management : 19th symposium on the integration of symbolic computation and mechanized reasoning : 11th international conference on artificial intelligence and symbolic computation : 5th workshop/conference on digital mathematics libraries : Jul 2012, Bremen, Germany. (Lecture Notes in Computer Science ; 7362. Lecture Notes in Artificial Intelligence)

Intelligent computer mathematics : 11th international conference, AISC 2012 : 19th symposium, Calculemus 2012 : 5th international workshop, DML 2012 : 11th international conference, MKM 2012 : systems and projects, held as part of CICM 2012 : Bremen, Germany, July 8-13, 2012, proceedings : 11th international conference on mathematical knowledge management : 19th symposium on the integration of symbolic computation and mechanized reasoning : 11th international conference on artificial intelligence and symbolic computation : 5th workshop/conference on digital mathematics libraries : Jul 2012, Bremen, Germany. (Lecture Notes in Computer Science ; 7362. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2012.<M17-13-564>
National Diet Library

The EPICA-DML deep ice core : a visual record

The EPICA-DML deep ice core : a visual record
Paper図書
Sérgio Henrique Faria, Sepp Kipfstuhl, Anja LambrechtSpringerc2018
Other Libraries in Japan

東南極の２箇所の氷床コア深層掘削点であるEPICA-DMLとドームふじの間の地域の雪氷環境の空間的分布

東南極の２箇所の氷床コア深層掘削点であるEPICA-DMLとドームふじの間の地域の雪氷環境の空間的分布
Digital文書・図像類
藤田, 秀二, Holmlund, P., Andersson, I., Brown, I., 榎本, 浩之, 藤井, 理行, 藤田, 耕史, 福井, 幸太郎, 古川, 晶雄, Hansson, M., 原, 圭一郎, 飯塚, 芳徳, 伊村, 智, Ingvander, S., Karlin, T., 本山, 秀明, 中澤, 文男, Sjöberg, L., 杉山, 慎, Surdyk, S., Ström, J.2010-12-01
Other Libraries in Japan
  • Alternative Title...sites at EPICA-DML and Dome Fuji, East Antarctic...
  • Alternative Title...sites at EPICA-DML and Dome Fuji, East Antarctic...

ドームふじおよびEPICA DMLの2つの深層掘削地点を含む東南極ドロンニングモードランドでの雪の堆積の時系列変化

ドームふじおよびEPICA DMLの2つの深層掘削地点を含む東南極ドロンニングモードランドでの雪の堆積の時系列変化
Digital文書・図像類
藤田, 秀二, Holmlund, P, Andersson, I, Brown, I, 榎本, 浩之, 藤井, 理行, 藤田, 耕史, 福井, 幸太郎, 古川, 晶雄, Hansson, M, 原, 圭一郎, 保科, 優, 五十嵐, 誠, 飯塚, 芳徳, 伊村, 智, Ingvander, S, Karlin, T, 本山, 秀明, 中澤, 文男, Oerter, H, Sjöberg, L., E, 杉山, 慎, Surdyk, S, Ström, J, 植村, 立, Wilhelms, F, Kameda, T2011-11-16
Other Libraries in Japan
  • Alternative Title...Fuji and EPICA DML
  • Alternative Title...Fuji and EPICA DML

RESULTS OF THE PRELIMINARY RADIOLOGICAL SURVEY AT THE FORMER DIAMOND MAGNESIUM COMPANY SITE, LUCKEY, OHIO (DML001). (ORNL ; ORNL/TM-11182)

RESULTS OF THE PRELIMINARY RADIOLOGICAL SURVEY AT THE FORMER DIAMOND MAGNESIUM COMPANY SITE, LUCKEY, OHIO (DML001). (ORNL ; ORNL/TM-11182)
Paper図書
FOLEY, R.D.(et al.)Oak Ridge National Laboratory(Oak Ridge National Laboratory)1990.
Other Libraries in Japan

Towards a Digital Mathematics Library Grand Bend, Ontario, Canada July 8-9th, 2009 proceedings : pbk

Towards a Digital Mathematics Library Grand Bend, Ontario, Canada July 8-9th, 2009 proceedings : pbk
Paper図書
Masaryk University2009
Other Libraries in Japan
  • Related MaterialDML
  • Periodical TitleDML

Towards Digital Mathematics Library Birmingham, UK, July 27th, 2008 proceedings : pbk

Towards Digital Mathematics Library Birmingham, UK, July 27th, 2008 proceedings : pbk
Paper図書
Masaryk University2008
Other Libraries in Japan
  • Related MaterialDML
  • Periodical TitleDML

エブリシング・アイ・ソート・イット・ワズ

エブリシング・アイ・ソート・イット・ワズ
Recording Media録音資料
ジャスティン・ティンバーレイクSony Music Labels2024.3<YMC11-R2293>
National Diet Library
  • Contents...イアー(ft.ファイヤーボーイDML)(8)インフィニティー・セックス(9)ラヴ&ウォー(10)...

Annual report

Annual report
Paper雑誌雑誌巻号
the Scottish Association for Marine ScienceScottish Association for Marine Science, Dunstaffnage Marine Laboratory[2001]-[2002]
Other Libraries in Japan
  • Alternative TitleSAMS/DML annual report

Annual report

Annual report
Paper雑誌雑誌タイトル
the Scottish Association for Marine Science, Dunstaffnage Marine LaboratoryScottish Association for Marine Science, Dunstaffnage Marine Laboratory[2001]-[2002]
Other Libraries in Japan
  • Alternative TitleSAMS/DML annual report
  • Alternative TitleSAMS/DML annual report
  •  
  •  
  •  
  •  
  •  
    •  

ワールド・ミュージック・レディオ

ワールド・ミュージック・レディオ
Recording Media録音資料
ジョン・バティステユニバーサルミュージック2023.8<YMC11-M50016>
National Diet Library
  • Contents...ン・べリオン,ファイヤーボーイDML)(7)コーリング・ユア・ネーム(8)クレア・ドゥ・ルーン(...

Report and accounts of the Scottish Association for Marine Science for the period ...

Report and accounts of the Scottish Association for Marine Science for the period ...
Paper雑誌雑誌巻号
Scottish Association for Marine Science, Dunstaffnage Marine Laboratory[1999-2000]
Other Libraries in Japan
  • Alternative Title...aboratory SAMS/DML annual report

Report and accounts of the Scottish Association for Marine Science for the period ...

Report and accounts of the Scottish Association for Marine Science for the period ...
Paper雑誌雑誌タイトル
Scottish Association for Marine Science, Dunstaffnage Marine Laboratory[1999-2000]
Other Libraries in Japan
  • Alternative Title...aboratory SAMS/DML annual report
  • Alternative Title...aboratory SAMS/DML annual report
  •  
  •  
  •  
  •  
  •  
    •  

ブラックパンサー/ワカンダ・フォーエバーミュージック・フロム・アンド・インスパイアード・バイ

ブラックパンサー/ワカンダ・フォーエバーミュージック・フロム・アンド・インスパイアード・バイ
Recording Media録音資料
ユニバーサルミュージック2022.12<YMC11-M45474>
National Diet Library
  • Contents...・フォー・ユー(ファイアボーイDML)(10)ゼイ・ウォント・イット、バット・ノー(トベ・ンウィ...

DML

DML
Paper図書
Petr Sojka (editor)Masaryk University
Other Libraries in Japan

Frontiers in earth sciences

Frontiers in earth sciences
Paper図書
Springer
Other Libraries in Japan
  • Related Material...ject The EPICA-DML deep ice core : a visual reco...

Reached to the end of result.

RSS