Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers (Lecture Notes in Computer Science)
発売日発売中
- 著者
- Manuel V Hermenegildo/Pedro Lopez-Garcia
- 出版社
- Springer
- 形式
- Kindle版
- 新刊発見日
- 2017年11月14日
- 最終更新
- 2017年11月14日 03:40
