>> Google Books
タイトル、所在を表示します

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>
書誌ID:
BA71424394
ISBN:
9783540252368 [3540252363]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings

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

Springer
7 図書 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
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 図書 Term rewriting and applications : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007 : proceedings

International Conference on Rewriting Techniques and Applications, Baader, Franz

Springer
3 図書 Logic for programming, aritficial intelligence, and reasoning : 14th International Conference, LPAR 2007 Yerevan, Armenia, October 15-19, 2007 : proceedings

International Conference on Logic for Programming, Aritficial Intelligence, and Reasoning, Dershowitz, Nachum, 1951-, &hellip;

Springer
9 図書 Automated deduction -- CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings

International Conference on Automated Deduction, Voronkov, A. (Andreĭ), 1959-

Springer
4 図書 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
10 図書 Proceedings of the 14th International Conference on Defects in Semiconductors :[held in] Paris, France, August 18-22, 1986

International Conference on Defects in Semiconductors, Bardeleben, H. J. von

Trans Tech Publications
5 図書 Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings

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

Springer-Verlag
11 図書 Theorem proving in higher order logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings

International Conference on Theorem Proving in Higher Order Logics, Hurd, Joe, Melham, T. F. (Tom F.)

Springer
6 図書 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
12 図書 Logics in artificial intelligence : 9th European conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 ; proceedings

JELIA, Alferes, José Júlio, Leite, João

Springer