著者典拠情報

著者標目形：
Voronkov, A. (Andreĭ), 1959-
属性：
Personal
日付：
1959-
から見よ参照形：
Voronkov, Andreĭ, 1959-
注記：
Russian Conference on Logic Programming (1st : 1990 : Irkutsk, R.S.F.S.R.). Logic programming, c1992: CIP t.p. (A. Voronkov) p. iv (Andreĭ Voronkov, Europ. Computer-Industry Res. Centre, München) data sheet (b. 5-14-1959)
著者典拠ID：
DA06370909


1.

図書
図書
1. 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
所蔵情報: 図書館
2.

図書
図書
2. Logic for programming and automated reasoning : 6th International Conference, LPAR '99, Tbilisi, Georgia, September 6-10, 1999 : proceedings
Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1999
シリーズ名: Lecture notes in computer science ; 1705 . Lecture notes in artificial intelligence
所蔵情報: 図書館
3.

図書
図書
3. Logic programming and automated reasoning : 4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings (: gw ; : us)
Andrei Voronkov (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 698 . Lecture notes in artificial intelligence
所蔵情報: 図書館
4.

図書
図書
4. Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991 : proceedings (: gw ; : us)
A. Voronkov (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 592 . Lecture notes in artificial intelligence
所蔵情報: 図書館
5.

図書
図書
5. Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings (: gw ; : us)
A. Voronkov, ed
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 624 . Lecture notes in artificial intelligence
所蔵情報: 図書館