عنوان
پدید آورنده
موضوع
رده
QA 76.63 .I55 1992
QA
76
.
63
.
I55
1992
کتابخانه
محل استقرار
H1
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
LPAR, )1992 : Saint Petersburg, Russia(
Title Proper
Logic programming and automated reasoning : international conference, LPAR 92, St. Petersburg, Russia, July 15-20, 1992 : proceedings
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
1992
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiv, 509 p. : ill
SERIES
Series Title
Lecture notes in computer science, 624
GENERAL NOTES
Text of Note
Includes bibliographical references
TOPICAL NAME USED AS SUBJECT
Entry Element
Logic programming - Congresses
Entry Element
Automatic theorem proving - Congresses
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Book number
76
.
63
Classification Record Number
.
I55
1992
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
Entry Element
A. Voronkov, ed
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
English
