述語論理と論理プログラミング

情報なし

著者

有川, 節夫, 1941-、原口, 誠, 1954-

出版社

オーム社

発売日

1988年5月発売

価格

2,500円（税込・書誌情報提供：openBD）

ISBN

9784274073861

発売済み