Cover image not available

Inferring the proof process

A. Velykis

Publication Data

Title Inferring the proof process
Author A. Velykis
Contributor
Publisher Newcastle University, Computing Science
Publication date 2012
Publication location Newcastle upon Tyne
Language English

Descriptive Notes

"July 2012."

Topics

Proof theory :: Data processing

Catalogue Data

OBNB ID GBB365161
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 006.332

ISBD

P1053 10 unnumbered 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:

Inferring the proof process by A. Velykis. Published by Newcastle University, Computing Science in 2012. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.