Many-sorted logic and its applications
edited by K. Meinke and J.V. Tucker
（Wiley professional computing）
Wiley, c1993
会津大学 情報センター (附属図書館)図
QA76.9.M35
OPAC
大阪電気通信大学 図書館
/410.96/M240682
九州工業大学 附属図書館 情報工学部分館
549.9||M-1830436601
九州大学 理系図書館
410.1/Me 25068252193005053
京都大学 大学院 情報学研究科
410.9||MEI 5||193008233
富山県立大学 附属図書館 射水館
101117729
名古屋工業大学 図書館
410.1||Ma 4893200712
名古屋大学 工学 図書室工電気情報
410.1||M41090350
兵庫県立大学 姫路環境人間学術情報館
116.3|| ||17311076473
広島市立大学 附属図書館
410.96/ME0000851732
すべての所蔵館を表示
Wiley
Google Books