Cover image not available

A heuristic for case analysis

Brigitte Pientka

Publication Data

Title A heuristic for case analysis
Author Brigitte Pientka
Contributor
Publisher University of Edinburgh, Dept. of Artificial Intelligence
Publication date 1995
Publication location Edinburgh
Language English

Topics

Automatic theorem proving
Induction (Mathematics)

Catalogue Data

OBNB ID GB9815165
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book

ISBD

P1053 21 p.
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:

A heuristic for case analysis by Brigitte Pientka. Published by University of Edinburgh, Dept. of Artificial Intelligence in 1995. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.