VIDEO DOI: https://doi.org/10.48448/aqvv-5p65

poster

ECAI 2020

August 31, 2020

Live on Underline

The Higher-Order Prover Leo-III

Please log in to leave a comment

Downloads

Transcript English (automatic)

Next from ECAI 2020

Actual Causality Canvas: A General Framework for Explanation-based Socio-Technical Constructs
technical paper

Actual Causality Canvas: A General Framework for Explanation-based Socio-Technical Constructs

ECAI 2020

Amjad Ibrahim
Amjad Ibrahim

31 August 2020

Stay up to date with the latest Underline news!

PRESENTATIONS

  • All Lectures
  • For Librarians
  • Resource Center
  • Free Trial
Underline Science, Inc.
1216 Broadway, 2nd Floor, New York, NY 10001, USA

© 2023 Underline - All rights reserved