VIDEO DOI: https://doi.org/10.48448/e7sq-9017

demo

ICCC'21

September 15, 2021

Mexico

Dynamic Creation of Points of View

Please log in to leave a comment

Downloads

Transcript English (automatic)

Next from ICCC'21

Creating new Program Proofs by Combining Abductive and Deductive Reasoning
poster

Creating new Program Proofs by Combining Abductive and Deductive Reasoning

ICCC'21

Diarmuid O'Donoghue
Kuruvilla George Aiyankovil and 2 other authors

15 September 2021

Similar lecture

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