yr 〜
yr

Search results 375

Numerical verification methods and computer-assisted proofs for partial differential equations (Springer series in computational mathematics ; volume 53)

Numerical verification methods and computer-assisted proofs for partial differential equations (Springer series in computational mathematics ; volume 53)
Paper図書
Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe.Springer[2019]<MA117-D2>
National Diet Library
  • Subject HeadingDifferential equations, Partial. Automatic theorem proving. Numerical calculations--Veri...

Automated reasoning with analytic tableaux and related methods : 24th international conference, TABLEAUX 2015 : Wrocław, Poland, September 21-24, 2015 : proceedings : Sep 2015, Wrocław, Poland. (Lecture Notes in Computer Science ; 9323. Lecture Notes in Artificial Intelligence)

Automated reasoning with analytic tableaux and related methods : 24th international conference, TABLEAUX 2015 : Wrocław, Poland, September 21-24, 2015 : proceedings : Sep 2015, Wrocław, Poland. (Lecture Notes in Computer Science ; 9323. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2015]<M17-16-636>
National Diet Library
  • Subject HeadingAutomatic theorem proving--Congresses. M......omatic theorem proving.

Automated technology for verification and analysis : 12th international symposium, ATVA 2014 : Sydney, NSW, Australia, November 3-7, 2014 : proceedings : ATVA conference : Nov 2014, Sydney, Australia. (Lecture Notes in Computer Science ; 8837)

Automated technology for verification and analysis : 12th international symposium, ATVA 2014 : Sydney, NSW, Australia, November 3-7, 2014 : proceedings : ATVA conference : Nov 2014, Sydney, Australia. (Lecture Notes in Computer Science ; 8837)
Paper図書
Springer[2014]<M17-15-1270>
National Diet Library
  • Subject HeadingAutomatic theorem proving--Congresses. A......omatic theorem proving.

Interactive theorem proving : 5th international conference, ITP 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8558)

Interactive theorem proving : 5th international conference, ITP 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8558)
Paper図書
Springer[2014]<M17-15-1248>
National Diet Library
  • Subject HeadingAutomatic theorem proving--Congresses. L......omatic theorem proving. Logic, Symbolic and mathemat...

2015 international conference on electronic design, computer networks & automated verification : (EDCAV 2015) : Shillong, India : 29-30 January 2015 : EDCAV-15 conference : Jan 2015, Shillong, India.

2015 international conference on electronic design, computer networks & automated verification : (EDCAV 2015) : Shillong, India : 29-30 January 2015 : EDCAV-15 conference : Jan 2015, Shillong, India.
Paper図書
IEEE[2015]<M17-17-754>
National Diet Library
  • Subject Heading...omatic theorem proving--Congresses. A......omatic theorem proving. Computer networks. Electroni...

Interactive theorem proving : 4th international conference, ITP 2013 : Rennes, France, July 22-26, 2013 : proceedings : ITP and TPHOLs meetings : Jul 2013, Rennes, France. (Lecture Notes in Computer Science ; 7998)

Interactive theorem proving : 4th international conference, ITP 2013 : Rennes, France, July 22-26, 2013 : proceedings : ITP and TPHOLs meetings : Jul 2013, Rennes, France. (Lecture Notes in Computer Science ; 7998)
Paper図書
Springerc2013.<M17-14-570>
National Diet Library
  • Subject HeadingAutomatic theorem proving--Congresses. L......esses. Theorem proving ITP

Interactive theorem proving : 6th international conference, ITP 2015 : Nanjing, China, August 24-27, 2015 : proceedings : Aug 2015, Nanjing, China. (Lecture Notes in Computer Science ; 9236)

Interactive theorem proving : 6th international conference, ITP 2015 : Nanjing, China, August 24-27, 2015 : proceedings : Aug 2015, Nanjing, China. (Lecture Notes in Computer Science ; 9236)
Paper図書
Springer[2015]<M17-16-524>
National Diet Library
  • Summary, etc....active Theorem Proving, ITP 2015, held in Nanjing, C...
  • Subject Heading...omatic theorem proving--Congresses. L......omatic theorem proving. Logic, Symbolic and mathemat...

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 Heading...omatic theorem proving--Congresses. A......omatic theorem proving. Geometry--Data processing.

Automated deduction--CADE-25 : 25th international conference on automated deduction : Berlin, Germany, August 1-7, 2015 : proceedings : Aug 2015, Berlin, Germany. (Lecture Notes in Computer Science ; 9195. Lecture Notes in Artificial Intelligence)

Automated deduction--CADE-25 : 25th international conference on automated deduction : Berlin, Germany, August 1-7, 2015 : proceedings : Aug 2015, Berlin, Germany. (Lecture Notes in Computer Science ; 9195. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2015]<M17-16-493>
National Diet Library
  • Subject HeadingAutomatic theorem proving--Congresses. Logic, Symbolic ...

Automated reasoning with analytic tableaux and related methods : 20th international conference, TABLEAUX 2011 : Bern, Switzerland, July 4-8, 2011 : proceedings : Jul 2011, Bern, Switzerland. (Lecture Notes in Computer Science ; 6793. Lecture Notes in Artificial Intelligence)

Automated reasoning with analytic tableaux and related methods : 20th international conference, TABLEAUX 2011 : Bern, Switzerland, July 4-8, 2011 : proceedings : Jul 2011, Bern, Switzerland. (Lecture Notes in Computer Science ; 6793. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2011.<M17-12-40>
National Diet Library
  • Subject HeadingAutomatic theorem proving--Congresses.

Interactive theorem proving : second international conference, ITP 2011 : Berg en Dal, the Netherlands, August 22-25, 2011 : proceedings : Aug 2011, Berg en Dal, the Netherlands. (Lecture Notes in Computer Science ; 6898)

Interactive theorem proving : second international conference, ITP 2011 : Berg en Dal, the Netherlands, August 22-25, 2011 : proceedings : Aug 2011, Berg en Dal, the Netherlands. (Lecture Notes in Computer Science ; 6898)
Paper図書
Springerc2011.<M17-12-441>
National Diet Library
  • Subject HeadingAutomatic theorem proving--Congresses.
  • Additional TitleInteractive theorem proving : 2nd international conferenc...

Automated technology for verification and analysis : 11th international symposium, ATVA 2013 : Hanoi, Vietnam, October 15-18, 2013 : proceedings : Oct 2013, Hanoi, Vietnam. (Lecture Notes in Computer Science ; 8172)

Automated technology for verification and analysis : 11th international symposium, ATVA 2013 : Hanoi, Vietnam, October 15-18, 2013 : proceedings : Oct 2013, Hanoi, Vietnam. (Lecture Notes in Computer Science ; 8172)
Paper図書
Springerc2013.<M17-14-770>
National Diet Library
  • Subject HeadingAutomatic theorem proving--Congresses. Artificial intel...

Interactive theorem proving : first international conference, ITP 2010 : Edinburgh, UK, July 11-14, 2010 : proceedings. : Jul 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6172)

Interactive theorem proving : first international conference, ITP 2010 : Edinburgh, UK, July 11-14, 2010 : proceedings. : Jul 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6172)
Paper図書
Springerc2010.<M17-11-146>
National Diet Library
  • Subject HeadingAutomatic theorem proving -- Congresses.
  • Alternative TitleInteractive theorem proving : 1st international conferenc...
  • Alternative TitleInteractive theorem proving : 1st international conferenc...

Automated technology for verification and analysis : 10th international symposium, ATVA 2012 : Thiruvananthapuram, India, October 3-6, 2012 : proceedings : Oct 2012, Thiruvananthapuram, India. (Lecture Notes in Computer Science ; 7561)

Automated technology for verification and analysis : 10th international symposium, ATVA 2012 : Thiruvananthapuram, India, October 3-6, 2012 : proceedings : Oct 2012, Thiruvananthapuram, India. (Lecture Notes in Computer Science ; 7561)
Paper図書
Springerc2012.<M17-13-818>
National Diet Library
  • Subject HeadingAutomatic theorem proving--Congresses. Artificial intel...

Automated reasoning : 7th international joint conference, IJCAR 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 19-22, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8562. Lecture Notes in Artificial Intelligence)

Automated reasoning : 7th international joint conference, IJCAR 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 19-22, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8562. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2014]<M17-15-545>
National Diet Library
  • Subject Heading...omatic theorem proving--Congresses. C......omatic theorem proving. Computer logic.

Automated deduction in geometry : 9th international workshop, ADG 2012 : Edinburgh, UK, September 17-19, 2012 : revised selected papers : Sep 2012, Edinburgh, UK. (Lecture Notes in Computer Science ; 7993. Lecture Notes in Artificial Intelligence)

Automated deduction in geometry : 9th international workshop, ADG 2012 : Edinburgh, UK, September 17-19, 2012 : revised selected papers : Sep 2012, Edinburgh, UK. (Lecture Notes in Computer Science ; 7993. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2013.<M17-14-692>
National Diet Library
  • Subject HeadingGeometry--Data processing--Congresses. Automatic theorem proving--Congresses.

Automated reasoning with analytic tableaux and related methods : 18th international conference, TABLEAUX 2009 : Oslo, Norway, July 6-10, 2009 : proceedings. : Jul 2009, Oslo, Norway. (Lecture Notes in Computer Science ; 5607. Lecture Notes in Artificial Intelligence)

Automated reasoning with analytic tableaux and related methods : 18th international conference, TABLEAUX 2009 : Oslo, Norway, July 6-10, 2009 : proceedings. : Jul 2009, Oslo, Norway. (Lecture Notes in Computer Science ; 5607. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2009.<M17-10-753>
National Diet Library
  • Subject HeadingAutomatic theorem proving -- Congresses.

Automated deduction -- CADE-24 : 24th international conference on automated deduction : Lake Placid, NY, USA, June 9-14, 2013 : proceedings : Jun 2013, Lake Placid, NY. (Lecture Notes in Computer Science ; 7898. Lecture Notes in Artificial Intelligence)

Automated deduction -- CADE-24 : 24th international conference on automated deduction : Lake Placid, NY, USA, June 9-14, 2013 : proceedings : Jun 2013, Lake Placid, NY. (Lecture Notes in Computer Science ; 7898. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2013.<M17-13-3345>
National Diet Library
  • Subject HeadingAutomatic theorem proving--Congresses. Logic, Symbolic ...

Automated reasoning with analytic tableaux and related methods : 22nd international conference, TABLEAUX 2013 : Nancy, France, September 16-19, 2013 : proceedings : Sep 2013, Nancy, France. (Lecture Notes in Computer Science ; 8123. Lecture Notes in Artificial Intelligence)

Automated reasoning with analytic tableaux and related methods : 22nd international conference, TABLEAUX 2013 : Nancy, France, September 16-19, 2013 : proceedings : Sep 2013, Nancy, France. (Lecture Notes in Computer Science ; 8123. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2013.<M17-14-746>
National Diet Library
  • Subject HeadingAutomatic theorem proving--Congresses. Artificial intel...

Automated technology for verification and analysis : 6th international symposium, ATVA 2008 : Seoul, Korea, October 20-23, 2008 : proceedings. : Oct 2008, Seoul, Korea. (Lecture Notes in Computer Science ; 5311)

Automated technology for verification and analysis : 6th international symposium, ATVA 2008 : Seoul, Korea, October 20-23, 2008 : proceedings. : Oct 2008, Seoul, Korea. (Lecture Notes in Computer Science ; 5311)
Paper図書
Springerc2008.<M17-09-455>
National Diet Library
  • Subject HeadingAutomatic theorem proving -- Congresses.