Cover image not available

Generating connection calculi from tableaux and sequent based proof systems

Lincoln A. Wallen

Publication Data

Title Generating connection calculi from tableaux and sequent based proof systems
Author Lincoln A. Wallen
Contributor
Publisher Dept. of Artificial Intelligence, University of Edinburgh
Publication date 1985
Publication location Edinburgh
Language English

Topics

Modality (Logic)
Proof theory

Catalogue Data

OBNB ID GB8714682
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 511.3

ISBD

P1053 18p.
P1042 Bibliography: p18.

Buy a copy

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

Generating connection calculi from tableaux and sequent based proof systems by Lincoln A. Wallen. Published by Dept. of Artificial Intelligence, University of Edinburgh in 1985. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.