عنوان
پدید آورنده
موضوع
رده
QA 76.6 .G27 1994
QA
76
.
6
.
G27
1994
کتابخانه
محل استقرار
H1
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Gabbay, Dov M.
Title Proper
Temporal logic : mathematical foundations and computational aspects
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Oxford
Name of Publisher, Distributor, etc.
Clarendon Press
Date of Publication, Distribution, etc.
1994-
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
V. : ill
SERIES
Series Title
Oxford science publications
GENERAL NOTES
Text of Note
Includes bibliographical references and indexes
TOPICAL NAME USED AS SUBJECT
Entry Element
Electronic digital computers - Programming
Entry Element
Logic, Symbolic and mathematical
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Book number
76
.
6
Classification Record Number
.
G27
1994
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
Dates
1945-
Entry Element
Dov M. Gabbay, Ian Hodkinson, and Mark Reynolds
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
English
