OPAC

International computer science series

データ種別	図書
出版者	Wokingham, England ; Tokyo : Addison-Wesley Pub. Co.
本文言語	英語


1	Clausal form logic : an introduction to the logic of computer reasoning / Tom Richards Sydney ; Reading, Mass. : Addison-Wesley Pub. Co. , c1989
2	The theory of computability : programs, machines, effectiveness and feasibility / R. Sommerhalder, S.C. van Westrhenen Wokingham, England ; Tokyo : Addison-Wesley Pub. Co. , c1988

著者標目	McGettrick, Andrew D., 1944- Leeuwen, Jan van
巻冊次
NCID	BA00203522