>> Google Books
Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings
フォーマット:
図書
責任表示:
A. Voronkov, ed
言語:
英語
出版情報:
Berlin ; New York : Springer-Verlag, c1992
形態:
xiv, 509 p. ; 25 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 624 . Lecture notes in artificial intelligence <BA00009279>
書誌ID:
BA1726493X
ISBN:
9783540557272 [354055727X] (: gw)  CiNii Books  Webcat Plus  Google Books
9780387557274 [038755727X] (: us)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

International Conference on Logic Programming, Apt, Krzysztof R., 1949-, Association for Logic Programming

MIT Press

International Conference on Automated Deduction, Kirchner, Claude, Kirchner, Hélène

Springer

International Conference on Logic Programming, 古川, 康一(1942-)

MIT Press

International Conference on Logic Programming, Warren, David H. D., Szeredi, Peter, 1949-

MIT Press

LPNMR, Marek, Wiktor, Nerode, Anil, 1932-, Truszczyński, Mirosław

Springer Verlag

International Conference on Logic Programming, Levi, Giorgio, 1942-, Martelli, Maurizio

MIT Press