1
出版事項 2013
目次: ...-Physical Systems -- Embedding Functions into Disjunctive Logic Programs -- Reactive Designs of Interrupts...
全文の入手
電子媒体 eBook