Menu
Home
Advanced Search
Directory of Libraries
عنوان
Formal methods in artificial intelligence
پدید آورنده
Allan Ramsay
موضوع
Artificial intelligence - Methodology,Logic, Symbolic and mathematical,Reasoning
رده
Q
,
335
,.
R35
,
1988
کتابخانه
Central Library and Document Center of Shahid Madani University of Azarbayjan
محل استقرار
استان:
East Azarbaijan
ـ شهر:
Tabriz
تماس با کتابخانه :
34327567
-
041
English Book
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal methods in artificial intelligence
First Statement of Responsibility
Allan Ramsay
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cambridge
Name of Publisher, Distributor, etc.
Cambridge University press
Date of Publication, Distribution, etc.
1988
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
ix, 279 P.: ill.; 24 c.m
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliography and index
TOPICAL NAME USED AS SUBJECT
Entry Element
Artificial intelligence - Methodology
Entry Element
Logic, Symbolic and mathematical
Entry Element
Reasoning
LIBRARY OF CONGRESS CLASSIFICATION
Class number
Q
,
335
,.
R35
,
1988
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Ramsay, Allan 1953
PERSONAL NAME - SECONDARY RESPONSIBILITY
Entry Element
Title
Entry Element
Series
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal