عنوان
پدید آورنده
موضوع
رده
QA 76.6 .L6 2015 E-Book ,
QA
76
.
6
.
L6
2015
E-Book
,
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:9783319178219
NATIONAL BIBLIOGRAPHY NUMBER
Number
12581
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Logic-Based Program Synthesis and Transformation
General Material Designation
[electronic resources]
Other Title Information
: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
First Statement of Responsibility
\ [edited by] Maurizio Proietti, Hirohisa Seki.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2015.
PROJECTED PUBLICATION DATE
Date
1505
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xii,[332] p.
SERIES
Series Title
Lecture notes in computer science
Volume Designation
; 8981
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Logic programming -- Congresses.
Computer logic -- Congresses.
Computer software -- Development -- Congresses.
برنامهنویسی منطقی -- کنگرهها
منطق کامپیوتری -- کنگره ها
نرمافزار -- تولید -- کنگره ها
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
6
Book number
.
L6
2015
E-Book
,
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Proietti, Maurizio, 1959-
Seki, Hirohisa
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
LOPSTR (Symposium) (24th : 2014 : Canterbury, England)
ORIGINATING SOURCE
Country
ایران
Date of Transaction
20160929064221.0
Cataloguing Rules (Descriptive Conventions))
rda
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9783319178219.pdf
Uniform Resource Identifier
http://www.loc.gov/catdir/enhancements/fy1509/2015937958-t.html
Uniform Resource Identifier
http://www.loc.gov/catdir/enhancements/fy1509/2015937958-d.html
BL
279177
1
Y
