著者典拠情報

標目形：
LPAR
属性：
Meeting
場所：
Saint Petersburg, Russia;Kiev, Ukraine;Tbilisi, Georgia;Reunion Island, France;Havana, Cuba
日付：
1992;1993;1994;1999;2000;2001
から見よ参照形：
International Conference on Logic for Programming and Automated Reasoning
Logic Programming and Automated Reasoning, International Conference
International Conference LPAR
Conference LPAR
Conference LPAR, International
International Conference on Logic for Programming, Artificial Intelligence and Reasoning
注記：
Its Logic programming and automated reasoning, c1992: t.p. (International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992)
Its (5th : 7/16-22/94 : Kiev, Ukraine) Logic programming and automated reasoning, c1994
Logic for programming, artificial intelligence and reasoning, c2001: t.p. (8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001) pref. (Eighth International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2001) spine (LPAR 2001)
著者典拠ID：
DA06518577


 close
1.

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

図書
図書
2. Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings (: gw ; : us)
Frank Pfenning (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 822 . Lecture notes in artificial intelligence
所蔵情報: loading…
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
所蔵情報: loading…
4.

図書
図書
4. 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
所蔵情報: loading…