Automated Theorem Proving: Theory and Practice

Glenn Derry

  • First published 2025
  • 210 pages
  • English

No reviews yet. Be the first.

This edition
Willford Press, 2025
ISBN
9781647286798
Language
English