عنوان
پدید آورنده
موضوع
رده
QA 76 .9 .L63 .H88 2004
QA
76
.
9
.
L63
.
H88
2004
کتابخانه
محل استقرار
OTHER STANDARD IDENTIFIER
Standard Number
150813
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
پائیز۹۸
TITLE AND STATEMENT OF RESPONSIBILITY
General Material Designation
)12(
First Statement of Responsibility
Huth, Michael
Title Proper by Another Author
2691-
Title Proper
Logic in computer science: modelling and reasoning about systems
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cambridge ]U.K.[; New York
Name of Publisher, Distributor, etc.
Cambridge University Press
Date of Publication, Distribution, etc.
2004
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiv, 427 p.: ill.; 25 cm.
GENERAL NOTES
Text of Note
Includes bibliographical references and index
NOTES PERTAINING TO EDITION AND BIBLIOGRAPHIC HISTORY
Text of Note
2nd ed
TOPICAL NAME USED AS SUBJECT
Entry Element
، Computer logic
Entry Element
، Logic programming )Computer science(
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
9
.
L63
.
H88
2004
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
Entry Element
Michael Huth, Mark Ryan
AU kraM ,nayR 1962-
TI
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
131
