Jump to main content

yr 〜
yr

Search results 10

Automated technology for verification and analysis : 14th international symposium, ATVA 2016 : Chiba, Japan, October 17-20, 2016 : proceedings : Oct 2016, Chiba, Japan. (Lecture Notes in Computer Science ; 9938)

Automated technology for verification and analysis : 14th international symposium, ATVA 2016 : Chiba, Japan, October 17-20, 2016 : proceedings : Oct 2016, Chiba, Japan. (Lecture Notes in Computer Science ; 9938)
Paper図書
Springer[2016]<M17-19-536>
National Diet Library
  • DDC006.3/33

Automated technology for verification and analysis : 9th international symposium, ATVA 2011 : Taipei, Taiwan, October 11-14, 2011 : proceedings : ATVA conferences : Oct 2011, Taipei, Taiwan. (Lecture Notes in Computer Science ; 6996)

Automated technology for verification and analysis : 9th international symposium, ATVA 2011 : Taipei, Taiwan, October 11-14, 2011 : proceedings : ATVA conferences : Oct 2011, Taipei, Taiwan. (Lecture Notes in Computer Science ; 6996)
Paper図書
Springerc2011.<M17-12-1330>
National Diet Library
  • DDC006.3/33

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
  • DDC006.3/33

Automated technology for verification and analysis : 8th international symposium, ATVA 2010 : Singapore, September 21-24, 2010 : proceedings. : Sep 2010, Singapore. (Lecture Notes in Computer Science ; 6252)

Automated technology for verification and analysis : 8th international symposium, ATVA 2010 : Singapore, September 21-24, 2010 : proceedings. : Sep 2010, Singapore. (Lecture Notes in Computer Science ; 6252)
Paper図書
Springerc2010.<M17-10-4362>
National Diet Library
  • DDC006.3/33

Case-based reasoning research and development : 5th international conference on case-based reasoning, ICCBR 2003 : Trondheim, Norway, June 23-26, 2003 : proceedings. : Jun 2003, Trondheim, Norway. (Lecture Notes in Computer Science ; 2689. Lecture Notes in Artificial Intelligence)

Case-based reasoning research and development : 5th international conference on case-based reasoning, ICCBR 2003 : Trondheim, Norway, June 23-26, 2003 : proceedings. : Jun 2003, Trondheim, Norway. (Lecture Notes in Computer Science ; 2689. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2003.<M17-04-597>
National Diet Library
  • DDC006.3/33

Theorem proving in higher order logics : 16th international conference, TPHOLs 2003 : Rome, Italy, September 8-12, 2003 : proceedings. : Sep 2003, Rome, Italy. (Lecture Notes in Computer Science ; 2758)

Theorem proving in higher order logics : 16th international conference, TPHOLs 2003 : Rome, Italy, September 8-12, 2003 : proceedings. : Sep 2003, Rome, Italy. (Lecture Notes in Computer Science ; 2758)
Paper図書
Springerc2003.<M17-04-1048>
National Diet Library
  • DDC006.3/33

Automated reasoning : first international joint conference, IJCAR 2001 : Siena, Italy, June 18-22, 2001 : proceedings. : Jun 2001, Siena, Italy. (Lecture Notes in Computer Science ; 2083. Lecture Notes in Artificial Intelligence)

Automated reasoning : first international joint conference, IJCAR 2001 : Siena, Italy, June 18-22, 2001 : proceedings. : Jun 2001, Siena, Italy. (Lecture Notes in Computer Science ; 2083. Lecture Notes in Artificial Intelligence)
Paper図書
Springer2001.<M17-03-4721>
National Diet Library
  • DDC006.3/33

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings. : Jul 2002, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 2381. Lecture Notes in Artificial Intelligence)

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings. : Jul 2002, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 2381. Lecture Notes in Artificial Intelligence)
Paper図書
Springer2002.<M17-03-99>
National Diet Library
  • DDC006.3/33

Types for proofs and programs : international workshop, TYPES 2000 : Durham, UK, December 8-12, 2000 : selected papers. : 1st annual workshop of the TYPES Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001) : Dec 2000, Durham, UK. (Lecture Notes in Computer Science ; 2277)

Types for proofs and programs : international workshop, TYPES 2000 : Durham, UK, December 8-12, 2000 : selected papers. : 1st annual workshop of the TYPES Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001) : Dec 2000, Durham, UK. (Lecture Notes in Computer Science ; 2277)
Paper図書
Springerc2002.<M17-07-789>
National Diet Library
  • DDC006.3/33

Automated deduction -- CADE-18 : 18th international conference on automated deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings. : Jul 2002, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 2392. Lecture Notes in Artificial Intelligence)

Automated deduction -- CADE-18 : 18th international conference on automated deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings. : Jul 2002, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 2392. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2002.<M17-03-87>
National Diet Library
  • DDC006.3/33

Reached to the end of result.

RSS