Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings
- フォーマット:
- 図書
- 責任表示:
- Frank Pfenning (ed.)
- 言語:
- 英語
- 出版情報:
- Berlin ; New York : Springer-Verlag, c1994
- 形態:
- x, 344 p. ; 24 cm
- 著者名:
- シリーズ名:
- Lecture notes in computer science ; 822 . Lecture notes in artificial intelligence <BA00009279>
- 書誌ID:
- BA23005674
- ISBN:
- 9783540582168 [3540582169] (: gw)
9780387582160 [0387582169] (: us)