Temporal logic : mathematical foundations and computational aspects

>> Google Books

Temporal logic : mathematical foundations and computational aspects

フォーマット:

図書

責任表示:

Dov M. Gabbay, Ian Hodkinson and Mark Reynolds

言語:

英語

出版情報:

Oxford : Clarendon Press
New York ; Tokyo : Oxford University Press, 1994-

形態:

v. : ill. ; 24 cm

著者名:

シリーズ名:

Oxford logic guides ; 28, 40 <BA00017765>

書誌ID:

BA23281751

ISBN:

9780198537694 [0198537697] (v. 1)

9780198537687 [0198537689] (v. 2)

子書誌情報

所蔵情報

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

詳細

主題:	Electronic digital computers--Programming; Logic, Symbolic and mathematical
分類・件名:	LCC : QA76.6 DDC : 511.3 LCSH : Electronic digital computers -- Programming LCSH : Logic, Symbolic and mathematical
LCCN:	94019153
注記:	Includes bibliographical references and indexes Vol. 2 (published 2000) by Dov M. Gabbay, Mark A. Reynolds, Marcelo Finger
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Temporal logic : First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings International Conference on Temporal Logic, Gabbay, Dov M., 1945-, Ohlbach, Hans Jürgen Springer-Verlag	7 図書 Background : computational structures Abramsky, Samson, 1953-, Gabbay, Dov M., 1945-, Maibaum, Thomas S. E., 1947- Clarendon Press
2 図書 Temporal logic of programs Kröger, Fred, 1945- Springer-Verlag	8 図書 Background : mathematical structures Abramsky, Samson, 1953-, Gabbay, Dov M., 1945-, Maibaum, Thomas S. E., 1947- Clarendon Press
3 図書 What is a logical system? Gabbay, Dov M., 1945- Clarendon Press, Oxford University Press	9 図書 The temporal logic of reactive and concurrent systems Manna, Zohar, Pnueli, A. (Amir) Springer-Verlag
4 図書 Logical foundations Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press, Oxford University Press	10 図書 Investigations in modal and tense logics with applications to problems in philosophy and linguistics Gabbay, Dov M., 1945- D. Reidel Pub. Co.
5 図書 Logic programming Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press	11 図書 Logic, algebra, and databases Gray, Peter M. D., 1940- E. Horwood, Distributor, Halsted Press
6 図書 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	12 図書 Deduction methodologies Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press, Oxford University Press