OPAC

Studies in computer science and artificial intelligence


1	13 Principles of logic and logic programming / G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos Amsterdam ; New York ; Tokyo : Elsevier , 1996

出版情報	Amsterdam ; Tokyo : North-Holland
本文言語	日本語
書誌ID	TB10014487
NCID	BA0006969X