Machinations : computational studies of logic, language, and cognition

↑ タイトル、所在を表示

フォーマット:

図書

責任表示:

edited by Richard Spencer-Smith and Steve Torrance

出版情報:

Norwood, N.J. : Ablex Pub. Corp., c1992

形態:

viii, 234 p. : ill. ; 24 cm

ISBN:

9780893916558 [0893916552]

9780893919092 [0893919098] (: pbk)

著者名:

書誌ID:

BA18344728

注記:

Includes bibliographical references and indexes

子書誌情報

所蔵情報

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

詳細

言語:	英語
分類・件名:	LCC : QA76 DDC : 004/.01/5113 LCSH : Computer science LCSH : Logic, Symbolic and mathematical LCSH : Programming languages (Electronic computers) LCSH : Artificial intelligence
主題:	Artificial intelligence; Computer science; Logic, Symbolic and mathematical; Programming languages (Electronic computers)

内容紹介

目次情報

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Background : computational structures Abramsky, Samson, 1953-, Gabbay, Dov M., 1945-, Maibaum, Thomas S. E., 1947- Clarendon Press	7 図書 Substructural logics Schroeder-Heister, Peter Joseph, 1953-, Došen, Kosta Clarendon Press, Oxford University Press
2 図書 Logic and Prolog Spencer-Smith, Richard Harvester Wheatsheaf	8 図書 Discrete structures, logic, and computability Hein, James L. Jones and Bartlett
3 図書 Background : mathematical structures Abramsky, Samson, 1953-, Gabbay, Dov M., 1945-, Maibaum, Thomas S. E., 1947- Clarendon Press	9 図書 Logic, language, and computation 赤間, 世紀(1960-) Kluwer Academic
4 図書 A computational logic handbook Boyer, Robert S., Moore, J. Strother, 1947- Academic Press	10 図書 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
5 図書 Symbolic logic and mechanical theorem proving Chang, Chin-Liang, 1937-, Lee, Richard Char-Tung, 1939- Academic Press	11 図書 Predicate logic Epstein, Richard L., 1947- Oxford University Press
6 図書 From natural language processing to logic for expert systems : a logic based approach to artificial intelligence Thayse, André, 1940-, Binot, Jean-Louis Wiley	12 図書 Logic-based artificial intelligence Minker, Jack Kluwer Academic Publishers