عنوان
پدید آورنده
موضوع
رده
Q 335 .R35 1988
Q
335
.
R35
1988
کتابخانه
محل استقرار
استان: Khorasan Razavi ـ شهر: Mashhad
OTHER STANDARD IDENTIFIER
Standard Number
17944
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Ramsay, Allan
Title Proper by Another Author
3591-
Title Proper
Formal methods in artificial intelligence
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cambridge; New York
Name of Publisher, Distributor, etc.
Cambridge University Press
Date of Publication, Distribution, etc.
1988
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
ix, 279p.: ill
SERIES
Series Title
Cambridge tracts in theoretical computer science; 6
GENERAL NOTES
Text of Note
Bibliography: p. ]273[-275
Text of Note
Includes index
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Allan Ramsay
TOPICAL NAME USED AS SUBJECT
Entry Element
Methodology ، Attificial intelligence
Entry Element
، Logic, Symbolic and mathematical
Entry Element
، Reasoning
LIBRARY OF CONGRESS CLASSIFICATION
Class number
Q
335
.
R35
1988
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
TI
SE
LOCATION AND CALL NUMBER
Call Number Suffix
CL
