PX, a computational logic

このページのQRコード

種類:

図書

責任表示:

Susumu Hayashi, Hiroshi Nakano

出版情報:

Cambridge, Mass. : MIT Press, c1988

著者名:

シリーズ名:

ISBN:

9780262081740 [0262081741]

注記:

Bibliography: p. [191]-196
Includes index

所蔵情報

子書誌情報

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

詳細

主題:	Automatic theorem proving; Logic, Symbolic and mathematical
分類・件名:	LCC : QA76.9.A96 DDC : 511.3 LCSH : Automatic theorem proving LCSH : Logic, Symbolic and mathematical
LCCN:	88002770
TTLL:	eng
著者名ヨミ:	ハヤシ, ススムナカノ, ヒロシ
言語:	英語
形態:	xiv, 200 p. ; 24 cm
書誌ID:	BA05147586

内容紹介

目次情報

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Automated deduction in equational logic and cubic curves McCune, W. (William), Padmanabhan, R. (Ranganathan), 1938- Springer	7 図書 Temporal logic : mathematical foundations and computational aspects Gabbay, Dov M., 1945-, Hodkinson, Ian, Reynolds, Mark (Mark A.), Finger, Marcelo Clarendon Press, Oxford University Press
2 図書 A computational logic Boyer, Robert S., Moore, J. Strother, 1947- Academic Press	8 図書 Elements of symbolic logic Reichenbach, Hans, 1891-1953 Macmillan
3 図書 Computational logic : essays in honor of Alan Robinson Robinson, J. A. (John Alan), Lassez, Jean-Louis, Plotkin, G. (Gordon), 1946- MIT Press	9 図書 Background : computational structures Abramsky, Samson, 1953-, Gabbay, Dov M., 1945-, Maibaum, Thomas S. E., 1947- Clarendon Press
4 図書 Handbook of tableau methods D'Agostino, Marcello Kluwer	10 図書パラドックス! = paradox! 林, 晋(1953-) 日本評論社
5 図書 Automated deduction : a basis for applications Bibel, W., 1938-, Schmitt, P. H. (Peter H.), 1948- Kluwer Academic	11 図書数理論理学林, 晋(1953-) コロナ社
6 図書 Computational aspects of an order-sorted logic with term declarations Schmidt-Schauß, M. (Manfred) Springer-Verlag	12 図書プログラム検証論林, 晋(1953-) 共立出版