ACM transactions on computational logic
Publisher: Association for Computing Machinery
Published: 2000
Place of publication: New York, NY
Language: eng
Subjects: Machine theory; Periodicals; Logic design; Logic programming
Other titles: Transactions on computational logic; Association for Computing Machinery transactions on computational logic