عنوان
پدید آورنده
موضوع
رده
Q 335 .D4513 1987
Q
335
.
D4513
1987
کتابخانه
محل استقرار
استان: Khorasan Razavi ـ شهر: Mashhad
OTHER STANDARD IDENTIFIER
Standard Number
15765
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Delahaye, Jean-Paul
Title Proper
Formal methods in artificial intelligence
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York
Name of Publisher, Distributor, etc.
Wiley
Date of Publication, Distribution, etc.
c1987
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
vii, 205p
GENERAL NOTES
Text of Note
"A Halsted Press book"
Text of Note
"Based on a course of lectures given at the University of Lille." Introd
Text of Note
Translation of: outils logiques pour l'intelligence artificielle
Text of Note
Includes bibliographies
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
by J.-P. Delahaye; translated by J.Howlett; forword by Maurice Nivat
TOPICAL NAME USED AS SUBJECT
Entry Element
Methodology ، Artificial intelligence
Entry Element
Data processing ، Artificial intelligence
LIBRARY OF CONGRESS CLASSIFICATION
Class number
Q
335
.
D4513
1987
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
TI
LOCATION AND CALL NUMBER
Call Number Suffix
CL
