A proof theory for general unification

by Snyder, Wayne

Type Book

Rate 0.0 /5

Details

Files

Reviews

Download

Title Statements

Full title :A proof theory for general unification / Wayne Snyder.

Edition Statements

Publication Date:1991.

Publication Statements

Publisher(s):Birkhäuser
Place of Publication:Boston
Language:eng
Publication Date:1991.

The Physical Object

Description:vi, 175 pages : : illustrations ; : 25 cm.

Edition Identifiers

ISBN:0817635939, 9780817635930, 3764335939, 9783764335939
oclc:ocm24429242
LC Classification:QA76.9.A96
Dewey Decimal:511.3

Subjects

Automatic theorem proving Automatisches Beweisverfahren Beweistheorie Computer programs -- Analysis Lógica matemática Preuve, Théorie de la Proof theory Résolution de problème -- Informatique Théorèmes -- Démonstration automatique Unifikationstheorie