Jump to main content

yr 〜
yr

Search results 12

Automated deduction in geometry : 10th international workshop, ADG 2014 : Coimbra, Portugal, July 9-11, 2014 : revised selected papers : biennial international workshops on automated deduction in geometry : ADG meetings : ADG 2014 conference : Jul 2014, Coimbra, Portugal. (Lecture Notes in Computer Science ; 9201. Lecture Notes in Artificial Intelligence)

Automated deduction in geometry : 10th international workshop, ADG 2014 : Coimbra, Portugal, July 9-11, 2014 : revised selected papers : biennial international workshops on automated deduction in geometry : ADG meetings : ADG 2014 conference : Jul 2014, Coimbra, Portugal. (Lecture Notes in Computer Science ; 9201. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2015]<M17-16-497>
National Diet Library
  • Subject HeadingComputer Graphics. Symbolic and Algebraic Manipulation. Discrete Mathematics in Comp...

Logic, language, information, and computation : 22nd international workshop, WoLLIC 2015 : Bloomington, IN, USA, July 20-23, 2015 : proceedings : Jul 2015, Bloomington, IN. (Lecture Notes in Computer Science ; 9160)

Logic, language, information, and computation : 22nd international workshop, WoLLIC 2015 : Bloomington, IN, USA, July 20-23, 2015 : proceedings : Jul 2015, Bloomington, IN. (Lecture Notes in Computer Science ; 9160)
Paper図書
Springer[2015]<M17-16-471>
National Diet Library
  • Subject Heading...cl. Robotics). Symbolic and Algebraic Manipulation. Logic, Symbolic and mathemat...

Computer algebra in scientific computing : 17th international workshop, CASC 2015 : Aachen, Germany, September 14-18, 2015 : proceedings : 17th CASC conference : Sep 2015, Aachen, Germany. (Lecture Notes in Computer Science ; 9301)

Computer algebra in scientific computing : 17th international workshop, CASC 2015 : Aachen, Germany, September 14-18, 2015 : proceedings : 17th CASC conference : Sep 2015, Aachen, Germany. (Lecture Notes in Computer Science ; 9301)
Paper図書
Springer[2015]<M17-16-619>
National Diet Library
  • Subject Heading...puter Science. Symbolic and Algebraic Manipulation. Arithmetic and Logic Structu...

Intelligent computer mathematics : international conference, CICM 2015 : Washington, DC, USA, July 13-17, 2015 : proceedings : Jul 2015, Washington, DC. (Lecture Notes in Computer Science ; 9150. Lecture Notes in Artificial Intelligence)

Intelligent computer mathematics : international conference, CICM 2015 : Washington, DC, USA, July 13-17, 2015 : proceedings : Jul 2015, Washington, DC. (Lecture Notes in Computer Science ; 9150. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2015]<M17-16-408>
National Diet Library
  • Subject Heading...cl. Robotics). Symbolic and Algebraic Manipulation. Mathematical Logic and Forma...

Computer algebra in scientific computing : 16th international workshop, CASC 2014 : Warsaw, Poland, September 8-12, 2014 : proceedings : CASC conference : Sep 2014, Warsaw, Poland. (Lecture Notes in Computer Science ; 8660)

Computer algebra in scientific computing : 16th international workshop, CASC 2014 : Warsaw, Poland, September 8-12, 2014 : proceedings : CASC conference : Sep 2014, Warsaw, Poland. (Lecture Notes in Computer Science ; 8660)
Paper図書
Springer[2014]<M17-15-692>
National Diet Library
  • Subject Heading...puter Science. Symbolic and Algebraic Manipulation. Computer Graphics. Arithmeti...

Certified programs and proofs : first international conference, CPP 2011 : Kenting, Taiwan, December 7-9, 2011 : proceedings : APLAS/CPP : Dec 2011, Kenting, Taiwan. (Lecture Notes in Computer Science ; 7086)

Certified programs and proofs : first international conference, CPP 2011 : Kenting, Taiwan, December 7-9, 2011 : proceedings : APLAS/CPP : Dec 2011, Kenting, Taiwan. (Lecture Notes in Computer Science ; 7086)
Paper図書
Springerc2011.<M17-12-1779>
National Diet Library
  • Subject Heading..., Interpreters Symbolic and Algebraic Manipulation Artificial Intelligence (incl...

Automated deduction in geometry : 8th international workshop, ADG 2010 : Munich, Germany, July 22-24, 2010 : revised selected papers : Jul 2010, Munich, Germany. (Lecture Notes in Computer Science ; 6877. Lecture Notes in Artificial Intelligence)

Automated deduction in geometry : 8th international workshop, ADG 2010 : Munich, Germany, July 22-24, 2010 : revised selected papers : Jul 2010, Munich, Germany. (Lecture Notes in Computer Science ; 6877. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2011.<M17-12-1761>
National Diet Library
  • Subject Heading...rmal Languages Symbolic and Algebraic Manipulation Discrete Mathematics in Compu...

Graph drawing : 19th international symposium, GD 2011 : Eindhoven, the Netherlands, September 21-23, 2011 : revised selected papers : Sep 2011, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 7034)

Graph drawing : 19th international symposium, GD 2011 : Eindhoven, the Netherlands, September 21-23, 2011 : revised selected papers : Sep 2011, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 7034)
Paper図書
Springerc2012.<M17-12-2115>
National Diet Library
  • Subject Heading...and Principles Symbolic and Algebraic Manipulation User Interfaces and Human Com...

Principles of distributed systems : 15th international conference, OPODIS 2011 : Toulouse, France, December 13-16, 2011 : proceedings : Dec 2011, Toulouse, France. (Lecture Notes in Computer Science ; 7109)

Principles of distributed systems : 15th international conference, OPODIS 2011 : Toulouse, France, December 13-16, 2011 : proceedings : Dec 2011, Toulouse, France. (Lecture Notes in Computer Science ; 7109)
Paper図書
Springerc2011.<M17-12-1905>
National Diet Library
  • Subject Heading...ncl. Robotics) Symbolic and Algebraic Manipulation

Parameterized and exact computation : 6th international symposium, IPEC 2011 : Saarbrücken, Germany, September 6-8, 2011 : revised selected papers : ALGO 2011 : meetings of the IPEC/IWPEC : Sep 2011, Saarbrücken, Germany. (Lecture Notes in Computer Science ; 7112)

Parameterized and exact computation : 6th international symposium, IPEC 2011 : Saarbrücken, Germany, September 6-8, 2011 : revised selected papers : ALGO 2011 : meetings of the IPEC/IWPEC : Sep 2011, Saarbrücken, Germany. (Lecture Notes in Computer Science ; 7112)
Paper図書
Springerc2012.<M17-13-62>
National Diet Library
  • Subject Heading...f Computation. Symbolic and Algebraic Manipulation. Computation by Abstract Devi...

Combinatorial algorithms : 22nd international workshop, IWOCA 2011 : Victoria, BC, Canada, July 20-22, 2011 : revised selected papers : Jul 2011, Victoria, Canada. (Lecture Notes in Computer Science ; 7056)

Combinatorial algorithms : 22nd international workshop, IWOCA 2011 : Victoria, BC, Canada, July 20-22, 2011 : revised selected papers : Jul 2011, Victoria, Canada. (Lecture Notes in Computer Science ; 7056)
Paper図書
Springerc2011.<M17-12-2121>
National Diet Library
  • Subject Heading...rmal Languages Symbolic and Algebraic Manipulation

Algebraic methodology and software technology : 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008 : proceedings

Algebraic methodology and software technology : 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008 : proceedings
Paper図書
José Meseguer, Grigore Roşu (eds.)Springerc2008
Other Libraries in Japan
  • Subject Heading...re Engineering Symbolic and Algebraic Manipulation Electronic books
  • Subject Heading (ID)...re Engineering Symbolic and Algebraic Manipulation Electronic books

Reached to the end of result.

RSS