Jump to main content

yr 〜
yr

Search results 6

Intelligent computer mathematics : 10th international conference, AISC 2010 : 17th symposium, Calculemus 2010 and 9th international conference, MKM 2010 : Paris, France, July 5-10, 2010 : proceedings. : 10th international conference on artificial intelligence and symbolic computation : 17th symposium on the integration of symbolic computation and mechanised reasoning : 9th international conference on mathematical knowledge management : AISC/Calculemus/MKM 2010 : Jul 2010, Paris, France. (Lecture Notes in Computer Science ; 6167. Lecture Notes in Artificial Intelligence)

Intelligent computer mathematics : 10th international conference, AISC 2010 : 17th symposium, Calculemus 2010 and 9th international conference, MKM 2010 : Paris, France, July 5-10, 2010 : proceedings. : 10th international conference on artificial intelligence and symbolic computation : 17th symposium on the integration of symbolic computation and mechanised reasoning : 9th international conference on mathematical knowledge management : AISC/Calculemus/MKM 2010 : Jul 2010, Paris, France. (Lecture Notes in Computer Science ; 6167. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2010.<M17-11-144>
National Diet Library
  • Subject Heading...-- Congresses. Mathematical analysis -- Data processing -- Congresses. Logic, Symbolic and mathemat...

Intelligent computer mathematics : 16th symposium, Calculemus 2009 : 8th international conference, MKM 2009 : held as part of CICM 2009 : Grand Bend, Canada, July 6-12, 2009 : proceedings. : CICM 2009 meeting : 16th symposium on the integration of symbolic computation & mechanized reasoning : 8th international conference on mathematical knowledge management : Calculemus/MKM 2009 : Jul 2009, Grand Bend, Canada. (Lecture Notes in Computer Science ; 5625. Lecture Notes in Artificial Intelligence)

Intelligent computer mathematics : 16th symposium, Calculemus 2009 : 8th international conference, MKM 2009 : held as part of CICM 2009 : Grand Bend, Canada, July 6-12, 2009 : proceedings. : CICM 2009 meeting : 16th symposium on the integration of symbolic computation & mechanized reasoning : 8th international conference on mathematical knowledge management : Calculemus/MKM 2009 : Jul 2009, Grand Bend, Canada. (Lecture Notes in Computer Science ; 5625. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2009.<M17-10-751>
National Diet Library
  • Subject Heading...-- Congresses. Mathematical analysis -- Data processing -- Congresses. Knowledge management -- Cong...

Towards mechanized mathematical assistants : 14th symposium, Calculemus 2007 : 6th international conference, MKM 2007 : Hagenberg, Austria, June 27-30, 2007 : proceedings. : 6th international conference on mathematical knowledge management : Jun 2007, Hagenberg, Austria. (Lecture Notes in Computer Science ; 4573. Lecture Notes in Artificial Intelligence)

Towards mechanized mathematical assistants : 14th symposium, Calculemus 2007 : 6th international conference, MKM 2007 : Hagenberg, Austria, June 27-30, 2007 : proceedings. : 6th international conference on mathematical knowledge management : Jun 2007, Hagenberg, Austria. (Lecture Notes in Computer Science ; 4573. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2007.<M17-07-2354>
National Diet Library
  • Subject Heading...-- Congresses. Mathematical analysis -- Data processing -- Congresses. Logic, Symbolic and mathemat...

Computational aspects of complex analysis : proceedings of the NATO Advanced Study Institute held at Braunlage, Harz, Germany, July 26-August 6, 1982 / edited by H. Werner ... [et al.]. (NATO advanced study institutes series. Series C, Mathematical and physical sciences ; v. 102)

Computational aspects of complex analysis : proceedings of the NATO Advanced Study Institute held at Braunlage, Harz, Germany, July 26-August 6, 1982 / edited by H. Werner ... [et al.]. (NATO advanced study institutes series. Series C, Mathematical and physical sciences ; v. 102)
Paper図書
D. Reidel Pub., in cooperation with NATO Scientific Affairs Divisionc1983.<M15-A509>
National Diet Library
  • Subject HeadingMathematical analysis -- Data processing -- Congresses. Functions of complex variabl...

Computer technology in fusion energy research : presented at the Winter annual meeting of the American Society of Mechanical Engineers, San Francisco, California, December 10-15, 1978 / sponsored by the Computer Technology Committee, the Pressure Vessel and Piping Division, ASME ; edited by John E. Akin, W. Harvey Gray. (PVP-PB-031)

Computer technology in fusion energy research : presented at the Winter annual meeting of the American Society of Mechanical Engineers, San Francisco, California, December 10-15, 1978 / sponsored by the Computer Technology Committee, the Pressure Vessel and Piping Division, ASME ; edited by John E. Akin, W. Harvey Gray. (PVP-PB-031)
Paper図書
The Societyc1978.<NG31-183>
National Diet Library
  • Subject Heading...-- Congresses. Mathematical analysis -- Data processing -- Congresses.

Computational aspects of complex analysis : proceedings of the NATO Advanced Study Institute held at Braunlage, Harz, Germany, July 26-August 6, 1982

Computational aspects of complex analysis : proceedings of the NATO Advanced Study Institute held at Braunlage, Harz, Germany, July 26-August 6, 1982
Paper図書
edited by H. Werner ... [et al.]D. Reidel Pub., in cooperation with NATO Scientific Affairs Divisionc1983
Other Libraries in Japan
  • Subject HeadingMathematical analysis -- Data processing -- Congresses Functions of complex variable...
  • Subject Heading (ID)Mathematical analysis -- Data processing -- Congresses Functions of complex variable...

Reached to the end of result.

RSS