2009年 Deriving Electrical Dependencies from Circuit Topologies Using Logic Grammar (in Lecture Notes in Artificial Intelligence, Volume 5712) 出版者・発行元 SpringerVerlag DOI ISBN 9783642045912 ID情報 ISBN : 9783642045912