計算論理に基づく推論ソフトウェア論

710e

by 山崎 進

単行本

ISBN: 978-4-339-02373-2

ISBN-10: 4-339-02373-6

コロナ社 · 2000