عنوان
پدید آورنده
موضوع
رده
QA76.63 .L67 2012
QA76
.
63
.
L67
2012
کتابخانه
محل استقرار
3642381979 (electronic bk.)
9783642381973 (electronic bk.)
9783642381966
b435025
Logic-based program synthesis and transformation
[Book]
22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012 : revised selected papers /
Elvira Albert (ed.)
New York :
Springer,
c2013
1 online resource (x, 243 p.) :
ill
Lecture notes in computer science,
LNCS sublibrary. SL 1, Theoretical computer science and general issues
7844
1611-3349 ;
Includes bibliographical references and index
OhioLINK electronic book center (Online)
SpringerLink
LOPSTR 2012
Computer logic, Congresses
Computer software-- Development, Congresses
Logic programming, Congresses
005
.
1/15
23
QA76
.
63
QA76
.
63
.
L67
2012
.
L67
2012
Albert, Elvira
LOPSTR (Symposium)(22nd :2012 :, Leuven, Belgium)
Ohio Library and Information Network
20130703153456.0
مطالعه متن کتاب [Book]
Y
