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

Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings / Matthias Baaz, Andrei Voronkov (eds.)

資料種別:
図書
出版情報:
Berlin ; Tokyo : Springer, c2002
形態:
xiii, 463 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 2514 . Lecture notes in artificial intelligence <BA00009279>
著者名:
ISBN:
9783540000105 [3540000100]
書誌ID:
BA59311796
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Logic for Programming, Artificial Intelligence, and Reasoning : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings

LPAR, Baader, Franz, Voronkov, A. (Andreĭ), 1959-

Springer
7 図書 Logic programming and automated reasoning : 4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings (: gw ; : us)

LPAR, Voronkov, A. (Andreĭ), 1959-

Springer-Verlag
2 図書 Logic for programming, artificial intelligence, and reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : …

LPAR, Vardi, Moshe, Voronkov, A. (Andreĭ), 1959-

Springer
8 図書 Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings (: gw ; : us)

LPAR, Voronkov, A. (Andreĭ), 1959-

Springer-Verlag
3 図書 Logic for programming, artificial intelligence, and reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings

LPAR, Sutcliffe, Geoff, Voronkov, A. (Andreĭ), 1959-

Springer
9 図書 Logic for programming, aritficial intelligence, and reasoning : 13th International Conference, LPAR 2006 Phnom Penh, Cambodia, November 13-17, 2006 : …

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

Springer
4 図書 Logic for programming and automated reasoning : 6th International Conference, LPAR '99, Tbilisi, Georgia, September 6-10, 1999 : proceedings

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

Springer-Verlag
10 図書 Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings

LPAR, Parigot, Michel, Voronkov, A. (Andreĭ), 1959-

Springer-Verlag
5 図書 Logic for Programming,Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings

LPAR, Nieuwenhuis, Robert, Voronkov, A. (Andreĭ), 1959-

Springer
11 電子ブック Logic for Programming, Artificial Intelligence, and Reasoning

LPAR (Conference), Vardi, Moshe Y., Voronkov, AndreÄ­

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
6 電子ブック Logic for Programming, Artificial Intelligence, and Reasoning

LPAR (Conference), Baaz, Matthias, Voronkov, AndreÄ­

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
12 電子ブック Logic for Programming, Artificial Intelligence, and Reasoning

LPAR (Conference), Nieuwenhuis, Robert, Voronkov, AndreÄ­

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12