Jump to main content

yr 〜
yr

Search results 6

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 HeadingNieuwenhuis, Robert. International Conference on A...

Rewriting techniques and applications : 14th international conference, RTA 2003 : Valencia, Spain, June 9-11, 2003 : proceedings. : Jun 2003, Valencia, Spain. (Lecture Notes in Computer Science ; 2706)

Rewriting techniques and applications : 14th international conference, RTA 2003 : Valencia, Spain, June 9-11, 2003 : proceedings. : Jun 2003, Valencia, Spain. (Lecture Notes in Computer Science ; 2706)
Paper図書
Springerc2003.<M17-04-542>
National Diet Library
  • Author HeadingNieuwenhuis, Robert. International Conference on R...

Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001 : Havana, Cuba, December 3-7, 2001 ; proceedings. : Dec 2001, Havana, Cuba. (Lecture Notes in Computer Science ; 2250. Lecture Notes in Artificial Intelligence)

Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001 : Havana, Cuba, December 3-7, 2001 ; proceedings. : Dec 2001, Havana, Cuba. (Lecture Notes in Computer Science ; 2250. Lecture Notes in Artificial Intelligence)
Paper図書
Springer2001.<M17-03-2438>
National Diet Library
  • Author HeadingNieuwenhuis, Robert. Voronkov, A. (Andreĭ) , 1959-...

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

Rewriting techniques and applications : 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings

Rewriting techniques and applications : 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings
Paper図書
Robert Nieuwenhuis (ed.)Springerc2003
Other Libraries in Japan

Logic for Programming,Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings

Logic for Programming,Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings
Paper図書
Robert Nieuwenhuis, Andrei Voronkov (eds.)Springerc2001
Other Libraries in Japan

Reached to the end of result.

RSS