ICCC'21

•

September 15, 2021

•

Mexico

Please log in to leave a comment

Downloads

PaperTranscript 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 Presentations
  • For Librarians
  • Resource Center
  • Free Trial
Underline Science, Inc.
1216 Broadway, 2nd Floor, New York, NY 10001, USA

© 2026 Underline - All rights reserved

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.