>> Google Books
所蔵情報QRコード

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>
著者名:
ISBN:
9783540582168 [3540582169] (: gw)
9780387582160 [0387582169] (: us)
書誌ID:
BA23005674
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

LPAR (Conference), Pfenning, Frank

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

International Conference on Logic Programming, Etalle, Sandro, Truszczyński, Mirosław

Springer

International Conference on Logic Programming, Gabbrielli, Maurizio, Gupta, G., 1963-

Springer

LPAR, Ganzinger, Harald, 1950-, McAllester, David A., Voronkov, A. (Andreĭ), 1959-

Springer-Verlag

International Conference on Logic Programming, Codognet, Philippe

Springer

International Conference on Logic Programming, Palamidessi, Catuscia

Springer

International Conference on Logic Programming, Stuckey, Peter J.

Springer

International Conference on Logic Programming, Demoen, Bart, Lifschitz, Vladimir

Springer

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