عنوان
پدید آورنده
موضوع
رده
QA76.63 T635 1992
QA76
.
63
T635
1992
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0387197427
(Number (ISBN
3540197427
(Number (ISBN
9780387197425
(Number (ISBN
9783540197423
NATIONAL BIBLIOGRAPHY NUMBER
Number
b565365
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Logic program synthesis and transformation :
General Material Designation
[Book]
Other Title Information
proceedings of LOPSTR 91 ... Univ. of Manchester, 4-5 July 1991
First Statement of Responsibility
T.P. Clement and K.-K. Lau, eds. ; Sponsored by the Association for Logic Programming and ALPUK.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
London[etc]
Name of Publisher, Distributor, etc.
Springer, cop.
Date of Publication, Distribution, etc.
1992
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
x, 337 p. ; 25 cm.
SERIES
Series Title
Workshops in computing.
PARALLEL TITLE PROPER
Parallel Title
LOPSTR 91.
TOPICAL NAME USED AS SUBJECT
Programación lógica -- Congresos.
Programación lógica -- Congresos.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
63
Book number
T635
1992
PERSONAL NAME - PRIMARY RESPONSIBILITY
T.P. Clement and K.-K. Lau, eds. ; Sponsored by the Association for Logic Programming and ALPUK.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Kung-Kiu Lau
Timothy Paul Clement
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
