ACM transactions on computational logic
著者
書誌事項
ACM transactions on computational logic
Association for Computing Machinery, c2000-
- Vol. 1, no. 1 (July 2000)-
- タイトル別名
-
Computational logic
Transactions on computational logic
TOCL
大学図書館所蔵 件 / 全12件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
Title from cover
Also available via the World Wide Web