>> Google Books
Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991 : proceedings
フォーマット:
図書
責任表示:
A. Voronkov (ed.)
言語:
英語
出版情報:
Berlin ; New York : Springer-Verlag, c1992
形態:
ix, 514 p. ; 25 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 592 . Lecture notes in artificial intelligence <BA00009279>
書誌ID:
BA14286175
ISBN:
9783540554608 [3540554602] (: gw)  CiNii Books  Webcat Plus  Google Books
9780387554600 [0387554602] (: 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 Algebraic and Logic Programming, Kirchner, Hélène, Wechler, Wolfgang, 1940-

Springer-Verlag

International Conference on Algebraic and Logic Programming, Hanus, Michael, Rodríguez Artalejo, M. (Mario)

Springer

International Conference on Algebraic and Logic Programming, Levi, Giorgio, 1942-, Rodríguez Artalejo, M. (Mario)

Springer-Verlag

Kirchner, Hélène, Levi, Giorgio, 1942-, International Conference on Algebraic and Logic Programming

Springer-Verlag

Logic Programming Summer School, Comyn, G. (Gérard), Fuchs, N. E. (Norbert E.), Ratcliffe, M. (Michael)

Springer-Verlag

International Workshop PLILP, Deransart, Pierre, 1945-, Lorho, Bernard, Małuszyński, Jan, 1941-

Springer-Verlag

International Symposium, PLILP, Hermenegildo, Manuel, Penjam, Jaan, 1955-

Springer-Verlag

International Workshop on Logic Program Synthesis and Transformation, Proietti, Maurizio, 1959-

Springer

Logic Programming Conference, 古川, 康一(1942-), 田中, 穂積(1941-), 藤崎, 哲之助

Springer-Verlag

Logic Programming Conference, 古川, 康一(1942-), 田中, 穂積(1941-), 藤崎, 哲之助

Springer-Verlag