عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
9783642205507
9783642205514
b407150
Logic-Based Program Synthesis and Transformation
[Book]
20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers /
edited by María Alpuente.
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2011.
Lecture Notes in Computer Science,
6564
0302-9743 ;
Algorithms.
Artificial intelligence.
Computer science.
Logic design.
Software engineering.
Alpuente, María.
SpringerLink (Online service)
20110425114610.0
مطالعه متن کتاب [Book]
Y
