著者典拠情報

著者標目形：
Nieuwenhuis, Robert
属性：
Personal
注記：
SRC:Logic for programming, artificial intelligence, and reasoning, c2001: t.p.(Robert Nieuwenhuis) t.p. verso (Technical Univ. of Catalonia, Dept. of Software, Barcelona, Spain)
著者典拠ID：
DA13339443


1.

図書
図書
1. Rewriting techniques and applications : 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings
Robert Nieuwenhuis (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2706
所蔵情報: 図書館
2.

図書
図書
2. Logic for programming, artificial intelligence, and reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings
Robert Nieuwenhuis, Andrei Voronkov (eds.)
出版情報: Berlin ; New York : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2250 . Lecture notes in artificial intelligence
所蔵情報: 図書館