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!

Select topic of interest (you can select more than one)

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