著者典拠情報

標目形:
LPAR
属性:
Meeting
から見よ参照形:
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
著者典拠ID:
DA06518577


 close
1.

図書

図書
A. Voronkov, ed
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 624 . Lecture notes in artificial intelligence
所蔵情報: loading…
2.

図書

図書
Frank Pfenning (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 822 . Lecture notes in artificial intelligence
所蔵情報: loading…
3.

図書

図書
Andrei Voronkov (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 698 . Lecture notes in artificial intelligence
所蔵情報: loading…