Revising basic theorem proving algorithms to cope with the logic of partial functions :: C. B. Jones :: Newcastle University, Computing Science 2014 :: OBNB, the Open British National Bibliography

Publication Data

Title Revising basic theorem proving algorithms to cope with the logic of partial functions
Author C. B. Jones
Contributors Matthew J. Lovert, L. J. Steggles, L. J. Steggles
Publisher Newcastle University, Computing Science
Publication date 2014
Publication location Newcastle upon Tyne, England
Language English

Descriptive Notes

"March 2014."

Topics

Functions
Computer logic
Computer algorithms

Catalogue Data

OBNB ID GBB579167
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 511.326

ISBD

P1053 25 pages
P1042 Includes bibliographical references.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Revising basic theorem proving algorithms to cope with the logic of partial functions by C. B. Jones. Published by Newcastle University, Computing Science in 2014. Publication and catalogue information, links to buy online and reader comments.