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

Logic for Programming, Artificial Intelligence, and Reasoning : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings / Franz Baader, Andrei Voronkov (eds.)

資料種別:
図書
出版情報:
Berlin : Springer, c2005
形態:
xi, 562 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 3452 . Lecture notes in artificial intelligence <BA00009279>
著者名:
ISBN:
9783540252368 [3540252363]
書誌ID:
BA71424394
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

LPAR (Conference), Baader, Franz, Kanade, Takeo, Voronkov, AndreÄ­

Springer eBooks Computer Science, Springer Berlin / Heidelberg

International Conference on Logic for Programming, Aritficial Intelligence, and Reasoning, Hermann, Miki, Voronkov, A. …

Springer

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

Springer-Verlag

LPAR (Conference), Kanade, Takeo, Sutcliffe, Geoff, Voronkov, AndreÄ­

Springer eBooks Computer Science, Springer Berlin / Heidelberg

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