Automatic Inductive Theorem Proving Using Prolog
Resource
Theoretical Computer Science, v.54 n.1, p.3-28
Journal
Theoretical Computer Science
Journal Volume
54
Journal Issue
1
Pages
3-28
Date Issued
1990
Date
1990
Author(s)
Abstract
This issue contains 7 conference papers. The topics covered include: theorem proving with Prolog; recursively defined domains; ring network protocols; parallel matrix computations; geometric optimization; functional and multivalued dependencies in relational databases; and algorithms for weighted matching of graphs.
Type
journal article
File(s)![Thumbnail Image]()
Loading...
Name
19.pdf
Size
23.96 KB
Format
Adobe PDF
Checksum
(MD5):6a227e8fe32fc16fec196381d2d8e084