Showing
1 - 1
results of
1
Skip to content
VuFind
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
McCune, William
Search Results - McCune, William
William McCune
William Walker McCune
(December 17, 1953 – May 2, 2011) was an American
computer scientist
and
logician
working in the fields of
automated reasoning
,
algebra
,
logic
, and
formal methods
.
Provided by Wikipedia
Showing
1 - 1
results of
1
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Using a Generalisation Critic to find Bisimulations for Coinductive Proofs
by
Dennis, Louise Abigail
,
Bundy, Alan
,
Green, Ian
Published 1999
Other Authors:
“…
McCune, William
…”
Get full text
QR Code
Search Tools:
RSS Feed
Email Search