ACM transactions on computational logic
ACM transactions on computational logic
Association for Computing Machinery.
Details
OL Work ID
OL28179946W
Subjects
Machine theory
Periodicals
Logic design
Logic programming
Find this book
Open Library