Computational logic : essays in honor of Alan Robinson

>> Google Books

Computational logic : essays in honor of Alan Robinson

フォーマット:

図書

責任表示:

edited by Jean-Louis Lassez and Gordon Plotkin

言語:

英語

出版情報:

Cambridge, Mass. : MIT Press, c1991

形態:

viii, 727 p. : ill. ; 26 cm

著者名:

書誌ID:

BA13404618

ISBN:

9780262121569 [0262121565]

子書誌情報

所蔵情報

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

詳細

主題:	Automatic theorem proving; Logic programming; Robinson, J. A. (John Alan)
分類・件名:	LCC : QA76.9.A96 DDC : 006.3 LCSH : Automatic theorem proving LCSH : Logic programming LCSH : Robinson, J. A. (John Alan)
LCCN:	90020172
注記:	Includes bibliographical references
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Logic programming Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press	7 図書 Logic and computer science Odifreddi, Piergiorgio, 1950- Academic Press
2 図書 Handbook of logic in artificial intelligence and logic programming Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press, Oxford University Press	8 図書 A computational logic Boyer, Robert S., Moore, J. Strother, 1947- Academic Press
3 図書 Epistemic and temporal reasoning Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press, Oxford University Press	9 図書 Foundations of logic programming Lloyd, J. W. (John Wylie), 1947- Springer-Verlag
4 図書 Deduction methodologies Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press, Oxford University Press	10 図書 Logic programming : proceedings of the Fourth International Conference Lassez, Jean-Louis, International Conference on Logic Programming MIT Press
5 図書 Nonmonotonic reasoning and uncertain reasoning Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press, Oxford University Press	11 図書 Automated reasoning : essays in honor of Woody Bledsoe Bledsoe, W. W., Boyer, Robert S. Kluwer Academic Publishers Group
6 図書 Logical foundations Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press, Oxford University Press	12 図書 Classical papers on computational logic Siekmann, Jörg H., 1941-, Wrightson, Graham Springer-Verlag