VIDEO DOI: https://doi.org/10.48448/09ze-fj79

workshop paper

AIxIA 2021

November 30, 2021

Italy

Truth, Logic and Dialogue

Please log in to leave a comment

Downloads

Transcript English (automatic)

Next from AIxIA 2021

Reasoning about Smart Contracts encoded in LTL
technical paper

Reasoning about Smart Contracts encoded in LTL

AIxIA 2021

Marco Antonio Mastratisi
Marco Antonio Mastratisi

01 December 2021

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