Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452) : 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

>> Google Books

Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452) : 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

フォーマット:

電子ブック

責任表示:

edited by Franz Baader, Andrei Voronkov

言語:

英語

出版情報:

Berlin Heidelberg : Springer-Verlag GmbH., 2005

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 3452

書誌ID:

NB02217672

ISBN:

9783540322757 [3540322752]

学内からのみアクセスすることができます。

子書誌情報

オンライン

http://dx.doi.org/10.1007/b106931

所蔵情報

タイトルが類似している資料

詳細

主題:	Artificial Intelligence (incl. Robotics); Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Techniques; Software Engineering
分類・件名:	FREE : Logics and Meanings of Programs LCSH : Computer science LCSH : Logic design FREE : Artificial Intelligence (incl. Robotics) LCSH : Software engineering FREE : Software Engineering LCSH : Artificial intelligence FREE : Programming Techniques FREE : Mathematical Logic and Formal Languages FREE : Computer Science
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835) : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, … Sutcliffe, Geoff, Voronkov, Andrei, SpringerLink (Online service) Springer-Verlag GmbH.	7 電子ブック Logic Programming and Nonmonotonic Reasoning : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings Erdem, Esra, Schaub, Torsten, Lin, Fangzhen, SpringerLink (Online service) Springer Berlin Heidelberg
2 電子ブック Logic for Programming Artificial Intelligence and Reasoning : 14th International Conference LPAR 2007 Yerevan Armenia October 15-19 2007. Proceedings Dershowitz Nachum, Voronkov Andrei, SpringerLink (Online service) Springer-Verlag	8 電子ブック Logic Programming and Nonmonotonic Reasoning : 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings Delgrande, James P., Faber, Wolfgang, SpringerLink (Online service) Springer Berlin Heidelberg
3 電子ブック Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings Fermüller, Christian G., Voronkov, Andrei, SpringerLink (Online service) Springer Berlin Heidelberg	9 電子ブック Logic Based Program Synthesis and Transformation (vol. # 3573) : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected … Etalle, Sandro, SpringerLink (Online service) Springer-Verlag GmbH.
4 電子ブック Logic for Programming, Artificial Intelligence, and Reasoning : 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected … Clarke, Edmund M., Voronkov, Andrei, SpringerLink (Online service) Springer Berlin Heidelberg	10 電子ブック Software Engineering and Formal Methods : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings Barthe, Gilles, Pardo, Alberto, Schneider, Gerardo, SpringerLink (Online service) Springer-Verlag GmbH Berlin Heidelberg
5 電子ブック Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings Carbonell, Jaime G., Cervesato, Iliano, Voronkov, Andrei, Veith, Helmut, Siekmann, Jorg, SpringerLink (Online service) Springer	11 電子ブック Logic-Based Program Synthesis and Transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers Hutchison, David, Nierstrasz, Oscar, Vardi, Moshe Y., Weikum, Gerhard, Sudan, Madhu, Hanus, Michael, Kanade, Takeo, … Springer Berlin Heidelberg
6 電子ブック Logic for Programming Aritficial Intelligence and Reasoning : 13th International Conference LPAR 2006 Phnom Penh Cambodia November 13-172006 Proceedings Hermann Miki, Voronkov Andrei, SpringerLink (Online service) Springer-Verlag GmbH.	12 電子ブック Model Checking and Artificial Intelligence : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers Meyden, Ron, Smaus, Jan-Georg, SpringerLink (Online service) Springer Berlin Heidelberg