Handbook of automated reasoning

>> Amazon.co.jp

このページのQRコード

Handbook of automated reasoning

種類:

図書

責任表示:

Alan Robinson and Andrei Voronkov (Eds.)

出版情報:

Amsterdam ; New York : Elsevier
Cambridge, US : The MIT Press, c2001

著者名:

ISBN:

9780444508133 [0444508139] (Elsevier: set)

9780444829498 [0444829490] (Elsevier: v. 1)

9780444508126 [0444508120] (Elsevier: v. 2)

9780262182232 [0262182238] (MIT: set)

9780262182218 [0262182211] (MIT: v. 1)

9780262182225 [026218222X] (MIT: v. 2)

注記:

Includes bibliographical references and index

所蔵情報

子書誌情報

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

詳細

主題:	総記--情報学．情報科学
分類・件名:	NDC9 : 007
TTLL:	eng
言語:	英語
形態:	2 v. ; 25 cm
書誌ID:	BA52866125

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings LPAR, Voronkov, A. (Andreĭ), 1959- Springer-Verlag	7 電子ブック Logic Programming and Automated Reasoning : 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings Voronkov, Andrei., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
2 図書 Logic programming and automated reasoning : 4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings LPAR, Voronkov, A. (Andreĭ), 1959- Springer-Verlag	8 図書 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
3 図書 Logic for programming and automated reasoning : 6th International Conference, LPAR '99, Tbilisi, Georgia, September 6-10, 1999 : proceedings LPAR, Ganzinger, Harald, 1950-, McAllester, David, Voronkov, A. (Andreĭ), 1959- Springer-Verlag	9 図書 Nonmonotonic reasoning and uncertain reasoning Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press, Oxford University Press
4 電子ブック Logic Programming and Automated Reasoning : International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 Proceedings Voronkov, Andrei, SpringerLink (Online service) Springer-Verlag	10 図書 Perspectives of system informatics : third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : … International Andrei Ershov Memorial Conference, Bjørner, D. (Dines), 1937-, Broy, M., 1949-, Zamulin, Alexandre V. Springer
5 電子ブック Logic Programming and Automated Reasoning : 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings Voronkov, Andrei, SpringerLink (Online service) Springer-Verlag	11 電子ジャーナル Journal of Automated Reasoning
6 電子ブック Logic Programming and Automated Reasoning : International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings Voronkov, Andrei., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	12 電子ジャーナル Journal of Automated Reasoning