Jump to main content

yr 〜
yr

Search results 35

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
  • Author HeadingInternational Conference on Automated Deduction (25th : 2015 : Berlin, German...

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
  • Author HeadingInternational Conference on Automated Deduction (24th : 2013 : Lake Placid, N...

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
  • Author HeadingInternational Conference on Automated Deduction (23rd : 2011 : Wrocław, Polan...

Automated deduction -- CADE-21 : 21st international conference on automated deduction : Bremen, Germany, July 17-20, 2007 : proceedings. : Jul 2007, Bremen, Germany. (Lecture Notes in Computer Science ; 4603. Lecture Notes in Artificial Intelligence)

Automated deduction -- CADE-21 : 21st international conference on automated deduction : Bremen, Germany, July 17-20, 2007 : proceedings. : Jul 2007, Bremen, Germany. (Lecture Notes in Computer Science ; 4603. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2007.<M17-07-1954>
National Diet Library
  • Author HeadingPfenning, Frank. International Conference on Automated Deduction (21st : 2007 : Bremen, German...

Automated deduction -- CADE-22 : 22nd international conference on automated deduction : Montreal, Canada, August 2-7, 2009 : proceedings. : Aug 2009, Montreal, Canada. (Lecture Notes in Computer Science ; 5663. Lecture Notes in Artificial Intelligence)

Automated deduction -- CADE-22 : 22nd international conference on automated deduction : Montreal, Canada, August 2-7, 2009 : proceedings. : Aug 2009, Montreal, Canada. (Lecture Notes in Computer Science ; 5663. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2009.<M17-10-1638>
National Diet Library
  • Author Heading... International Conference on Automated Deduction (22nd : 2009 : Montréal, Québ...

Automated deduction -- CADE-20 : 20th international conference on automated deduction : Tallinn, Estonia, July 22-27, 2005 : proceedings. : Jul 2005, Tallinn, Estonia. (Lecture Notes in Computer Science ; 3632. Lecture Notes in Artificial Intelligence)

Automated deduction -- CADE-20 : 20th international conference on automated deduction : Tallinn, Estonia, July 22-27, 2005 : proceedings. : Jul 2005, Tallinn, Estonia. (Lecture Notes in Computer Science ; 3632. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2005.<M17-06-108>
National Diet Library
  • Author Heading... International Conference on Automated Deduction (20th : 2005 : Tallinn, Eston...

1st workshop on modules and libraries for proof assistants 2009 : (MLPA-09) : Montreal, Canada : 3 August 2009. : MLPA CADE 2009 : Aug 2009, Montreal, Canada. (ACM International Conference Proceedings Series ; 429)

1st workshop on modules and libraries for proof assistants 2009 : (MLPA-09) : Montreal, Canada : 3 August 2009. : MLPA CADE 2009 : Aug 2009, Montreal, Canada. (ACM International Conference Proceedings Series ; 429)
Paper図書
Association for Computing Machineryc2009.<M17-10-2956>
National Diet Library
  • Author Heading...treal, Canada) Conference on Automated Deduction (22nd : 2009 : Montreal, Cana...

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
  • Author Heading... International Conference on Automated Deduction (18th : 2002 : Copenhagen, De...

Automated deduction -- CADE-19 : 19th international conference on automated deduction : Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings. : Jul 2003, Miami Beach, FL. (Lecture Notes in Computer Science ; 2741. Lecture Notes in Artificial Intelligence)

Automated deduction -- CADE-19 : 19th international conference on automated deduction : Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings. : Jul 2003, Miami Beach, FL. (Lecture Notes in Computer Science ; 2741. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2003.<M17-04-612>
National Diet Library
  • Author Heading... International Conference on Automated Deduction (19th : 2003 : Miami Beach, F...

Automated deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 : proceedings

Automated deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 : proceedings
Paper図書
Renate A. Schmidt (ed.)Springerc2009
Other Libraries in Japan
  • Author HeadingInternational Conference on Automated Deduction Schmidt, Renate A.

Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings / Alan Bundy, ed. (Lecture notes in computer science ; 814. Lecture notes in artificial intelligence)

Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings / Alan Bundy, ed. (Lecture notes in computer science ; 814. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1994.<M15-A9229>
National Diet Library
  • Author HeadingInternational Conference on Automated Deduction (12th : 1994 : Nancy, France)...

Automated deduction -- CADE-21 : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 : proceedings

Automated deduction -- CADE-21 : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 : proceedings
Paper図書
Frank Pfenning (ed.)Springerc2007
Other Libraries in Japan
  • Author HeadingInternational Conference on Automated Deduction Pfenning, Frank

Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings

Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings
Paper図書
Robert Nieuwenhuis (ed.)Springerc2005
Other Libraries in Japan
  • Author HeadingInternational Conference on Automated Deduction Nieuwenhuis, Robert

Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings / D. Kapur (ed.). (Lecture notes in computer science ; 607. Lecture notes in artificial intelligence)

Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings / D. Kapur (ed.). (Lecture notes in computer science ; 607. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1992.<M15-A8235>
National Diet Library
  • Author HeadingInternational Conference on Automated Deduction (11th : 1992 : Saratoga Sprin...

Automated deduction - CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings

Automated deduction - CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings
Paper図書
Franz Baader (ed.)Springerc2003
Other Libraries in Japan
  • Author HeadingInternational Conference on Automated Deduction Baader, Franz

Automated deduction -- CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings

Automated deduction -- CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings
Paper図書
Andrei Voronkov (ed.)Springerc2002
Other Libraries in Japan
  • Author HeadingInternational Conference on Automated Deduction Voronkov, A. (Andreĭ)

10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990 : proceedings / M.E. Stickel, (ed.). (Lecture notes in computer science ; 449. Lecture notes in artificial intelligence)

10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990 : proceedings / M.E. Stickel, (ed.). (Lecture notes in computer science ; 449. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1990.<M15-A6951>
National Diet Library
  • Author HeadingInternational Conference on Automated Deduction (10th : 1990 : Kaiserslautern...

9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings / E. Lusk, R. Overbeek (eds.). (Lecture notes in computer science)

9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings / E. Lusk, R. Overbeek (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1988.<M15-A3126>
National Diet Library
  • Alternative TitleNinth International Conference on Automated Deduction.
  • Alternative TitleNinth International Conference on Automated Deduction.
  • Author HeadingInternational Conference on Automated Deduction (9th : 1988 : Argonne, Ill.) ...

Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings

Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings
Paper図書
David McAllester (ed.)Springerc2000
Other Libraries in Japan
  • Author HeadingInternational Conference on Automated Deduction McAllester, David A.

8th International Conference on Automated Deduction, Oxford, England, July 27-August 1, 1986 : proceedings / edited by Jörg H. Siekmann. (Lecture notes in computer science ; 230.)

8th International Conference on Automated Deduction, Oxford, England, July 27-August 1, 1986 : proceedings / edited by Jörg H. Siekmann. (Lecture notes in computer science ; 230.)
Paper図書
Springer-Verlagc1986.<M159-A1>
National Diet Library
  • Author HeadingInternational Conference on Automated Deduction (8th : 1986 : Oxford) . Siekm...
RSS