Computational Logic Computational Logic Computational Logic Computational Logic
  • Home
  • News
    • News Archive
  • Research
    • Publications
    • Projects
    • Software
  • Teaching
  • Members
  • Events
    • Event Archive
Computational Logic Computational Logic Computational Logic Computational Logic
  • Home
  • News
    • News Archive
  • Research
    • Publications
    • Projects
    • Software
  • Teaching
  • Members
  • Events
    • Event Archive

Aart Middeldorp Recommendations

Details
Written by: Gernot Baumgartner
Category: Aart Middeldorp
Read Time: 1 min

Recommendations


Journals
  • Journal of Automated Reasoning
  • Applicable Algebra in Engineering, Communication and Computing
Proceedings
  • Electronic Proceedings in Theoretical Computer Science
Share it:
Previous article: Edited Books Prev
Quick Links
  • Department of Computer Science
  • LFU:Online Courses
  • OLAT
  • Webconference (BBB)
© 2026 Computational Logic
  • Privacy
  • Terms of Use
  • Policy
  • Home
  • News
    • News Archive
  • Research
    • Publications
    • Projects
    • Software
  • Teaching
  • Members
  • Events
    • Event Archive