• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Book

ACM Transactions on Computational Logic (TOCL)

Vol. 18. Iss. 3. NY: ACM, 2017.
Under the general editorship: O. Kupferman.
Chapters
ACM Transactions on Computational Logic (TOCL)