Jump to main content

yr 〜
yr

Search results 7

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
  • DDC511.3/6028563

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
  • DDC511.3/6028563

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
  • DDC511.3/6028563

Automated reasoning : 6th international joint conference, IJCAR 2012 : Manchester, UK, June 26-29, 2012 : proceedings : Jun 2012, Manchester, UK. (Lecture Notes in Computer Science ; 7364. Lecture Notes in Artificial Intelligence)

Automated reasoning : 6th international joint conference, IJCAR 2012 : Manchester, UK, June 26-29, 2012 : proceedings : Jun 2012, Manchester, UK. (Lecture Notes in Computer Science ; 7364. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2012.<M17-13-565>
National Diet Library
  • DDC511.3/6028563

Automated deduction -- CADE-23 : 23rd international conference on automated deduction : Wrocław, Poland, July 31-August 5, 2011 : proceedings : CADE 23 : Jul 2011, Wrocław, Poland. (Lecture Notes in Computer Science ; 6803. Lecture Notes in Artificial Intelligence)

Automated deduction -- CADE-23 : 23rd international conference on automated deduction : Wrocław, Poland, July 31-August 5, 2011 : proceedings : CADE 23 : Jul 2011, Wrocław, Poland. (Lecture Notes in Computer Science ; 6803. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2011.<M17-12-420>
National Diet Library
  • DDC511.3/6028563

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
  • DDC511.3/6028563

Automated technology for verification and analysis : 5th international symposium, ATVA 2007 : Tokyo, Japan, October 22-25, 2007 : proceedings. : Oct 2007, Tokyo, Japan. (Lecture Notes in Computer Science ; 4762)

Automated technology for verification and analysis : 5th international symposium, ATVA 2007 : Tokyo, Japan, October 22-25, 2007 : proceedings. : Oct 2007, Tokyo, Japan. (Lecture Notes in Computer Science ; 4762)
Paper図書
Springerc2007.<M17-08-730>
National Diet Library
  • DDC511.3/6028563

Reached to the end of result.

RSS