On combining heuristic-driven and user-driven proof

Conference presentation

Mark Utting

Automated reasoning day: (research and applications of automated reasoning), 2nd (Sep-1994)

Griffith University

1994

Abstract

Computation Theory and Mathematics

No abstract available.

Title: On combining heuristic-driven and user-driven proof
Authors: Mark Utting (Author)
Contributors: Abdul Sattar (Editor)
Conference details: Automated reasoning day: (research and applications of automated reasoning), 2nd (Sep-1994)
Publisher: Griffith University
Date published: 1994
Organisation Unit: School of Science and Engineering - Legacy; University of the Sunshine Coast, Queensland
Language: English
Record Identifier: 99449255402621
Output Type: Conference presentation

2 File views/ downloads

555 Record Views