عنوان
پدید آورنده
موضوع
رده
QA 76.63 .L63294 1995
QA
76
.
63
.
L63294
1995
کتابخانه
محل استقرار
O1
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Logic programming : formal methods and practical applications
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Amsterdam
Name of Publisher, Distributor, etc.
Elsevier
Date of Publication, Distribution, etc.
1995
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiv, 404 p. : ill
SERIES
Series Title
Studies in computer science and artificial intelligence, 11
GENERAL NOTES
Text of Note
Includes bibliographical references
TOPICAL NAME USED AS SUBJECT
Entry Element
Logic programming
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Book number
76
.
63
Classification Record Number
.
L63294
1995
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
TI
Entry Element
edited by Christoph Beierle, Lutz Plumer
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
English
