Nieuwenhuis, Robert

ID:DA13339443

同姓同名の著者を検索

検索結果3件中 1-3 を表示

1

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

Robert Nieuwenhuis (ed.)

Springer c2005 Lecture notes in computer science 3632 . Lecture notes in artificial intelligence

所蔵館14館
2

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

Robert Nieuwenhuis (ed.)

Springer c2003 Lecture notes in computer science 2706

所蔵館21館
3

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

Robert Nieuwenhuis, Andrei Voronkov (eds.)

Springer c2001 Lecture notes in computer science 2250 . Lecture notes in artificial intelligence

所蔵館28館

この著者を外部サイトでさがす

関連著者

ページトップへ