Automated Deduction - CADE 30 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28 - August 2, 2025, Proceedings

Clark Barrett, Uwe Waldmann

  • First published 2025
  • 756 pages
  • English
Genres
Nonfiction › Technology › Computing › ProgrammingNonfiction › Technology › Computing › Artificial intelligence

No reviews yet. Be the first.

This edition
Springer, 2025
ISBN
9783031999833
Language
English