著者典拠情報

著者標目形：
Rodríguez Artalejo, M. (Mario)
属性：
Personal
から見よ参照形：
Artalejo, M. Rodríguez (Mario Rodríguez)
Rodríguez Artalejo, Mario
Rodríguez-Artalejo, Mario
注記：
ICALP 91 (1991 : Madrid, Spain). Automata, languages and programming, c1991: t.p. (M. Rodríguez Artalejo) t.p. verso (Mario Rodríguez Artalejo, Dept. de Informática y Automática, Fac. de Matemáticas, Univ. Complutense, Spain)
SRC:Algebraic and logic programming : 4th international conference, ALP '94, Madrid, Spain, September 1994 : proceedings / Giorgio Levi, Mario Rodríguez-Artalejo (eds.) (Springer-Verlag, c1994)
著者典拠ID：
DA08574036


1.

図書
図書
1. Functional and logic programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings
Zhenjiang Hu, Mario Rodríguez-Artalejo (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2441
所蔵情報: 図書館
2.

図書
図書
2. Computer science logic : 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
Jörg Flum, Mario Rodríguez-Artalejo (eds.)
出版情報: Berlin : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1683
所蔵情報: 図書館
3.

図書
図書
3. Algebraic and logic programming : 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings
Michael Hanus, Mario Rodríguez-Artalejo (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996
シリーズ名: Lecture notes in computer science ; 1139
所蔵情報: 図書館
4.

図書
図書
4. Algebraic and logic programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings
Giorgio Levi, Mario Rodríguez-Artalejo (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 850
所蔵情報: 図書館