عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
9783642205507
(Number (ISBN
9783642205514
NATIONAL BIBLIOGRAPHY NUMBER
Number
b407150
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Logic-Based Program Synthesis and Transformation
General Material Designation
[Book]
Other Title Information
20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers /
First Statement of Responsibility
edited by María Alpuente.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin, Heidelberg :
Name of Publisher, Distributor, etc.
Springer Berlin Heidelberg,
Date of Publication, Distribution, etc.
2011.
SERIES
Series Title
Lecture Notes in Computer Science,
Volume Designation
6564
ISSN of Series
0302-9743 ;
TOPICAL NAME USED AS SUBJECT
Algorithms.
Artificial intelligence.
Computer science.
Logic design.
Software engineering.
PERSONAL NAME - PRIMARY RESPONSIBILITY
Alpuente, María.
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
SpringerLink (Online service)
ORIGINATING SOURCE
Date of Transaction
20110425114610.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
