عنوان
پدید آورنده
موضوع
رده
QA76.63 .L67 2012
QA76
.
63
.
L67
2012
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642381979 (electronic bk.)
(Number (ISBN
9783642381973 (electronic bk.)
Erroneous ISBN
9783642381966
NATIONAL BIBLIOGRAPHY NUMBER
Number
b435025
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Logic-based program synthesis and transformation
General Material Designation
[Book]
Other Title Information
22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012 : revised selected papers /
First Statement of Responsibility
Elvira Albert (ed.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
c2013
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (x, 243 p.) :
Other Physical Details
ill
SERIES
Series Title
Lecture notes in computer science,
Series Title
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Volume Designation
7844
ISSN of Series
1611-3349 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
PIECE
Title
OhioLINK electronic book center (Online)
Title
SpringerLink
PARALLEL TITLE PROPER
Parallel Title
LOPSTR 2012
TOPICAL NAME USED AS SUBJECT
Computer logic, Congresses
Computer software-- Development, Congresses
Logic programming, Congresses
DEWEY DECIMAL CLASSIFICATION
Number
005
.
1/15
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
63
Class number
QA76
.
63
Book number
.
L67
2012
Book number
.
L67
2012
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Albert, Elvira
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
LOPSTR (Symposium)(22nd :2012 :, Leuven, Belgium)
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
Ohio Library and Information Network
ORIGINATING SOURCE
Date of Transaction
20130703153456.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
