Computational logic : essays in honor of Alan Robinson

>> Amazon.co.jp

このページのQRコード

Computational logic : essays in honor of Alan Robinson

種類:

図書

責任表示:

edited by Jean-Louis Lassez and Gordon Plotkin

出版情報:

Cambridge, Mass. : MIT Press, c1991

著者名:

ISBN:

9780262121569 [0262121565]

注記:

Includes bibliographical references

所蔵情報

子書誌情報

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

詳細

主題:	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
TTLL:	eng
言語:	英語
形態:	viii, 727 p. : ill. ; 26 cm
書誌ID:	BA13404618

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 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	7 図書 Foundations of logic programming Lloyd, J. W. (John Wylie), 1947- Springer-Verlag
2 図書 A computational logic Boyer, Robert S., Moore, J. Strother, 1947- Academic Press	8 図書 PX, a computational logic 林, 晋(1953-), 中野, 裕 MIT Press
3 図書 Epistemic and temporal reasoning Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press, Oxford University Press	9 図書 Automated reasoning and its applications : essays in honor of Larry Wos Veroff, Robert, Pieper, Gail W., Wos, Larry, 1930- The MIT Press
4 図書 Deduction methodologies Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press, Oxford University Press	10 図書 Logical methods : in honor of Anil Nerode's sixtieth birthday Nerode, Anil, 1932-, Crossley, John N., 1937- Birkhäuser
5 図書 Nonmonotonic reasoning and uncertain reasoning Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press, Oxford University Press	11 図書 Conclog : a methodological approach to concurrent logic programming Jacquet, Jean-Marie Springer-Verlag
6 図書 Logical foundations Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press, Oxford University Press	12 図書 Constraints in computational logics : theory and applications : International Summer School, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999 : revised … CCL, Comon, Hubert, Marché, Claude, Treinen, Ralf Springer