A proof theory for general unification

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.

Notes

Bibliogr. p. 167-175.

The Physical Object

  • Description:VI-175 p. : : graph. ; : 24 cm

Edition Identifiers

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

Subjects

Automatic theorem proving démonstration automatique démonstration théorème Théorèmes -- Démonstration automatique théorie démonstration théorie preuve unification

Writers

Snyder, Wayne

More from this Series

  • A Proof theory for general unification

    1991.
    more →
    A Proof theory for general unification

  • A proof theory for general unification

    1991.
    more →
    A proof theory for general unification

  • A proof theory for general unification

    ©1991.
    more →
    A proof theory for general unification

  • A proof theory for general unification

    1991.
    more →
    A proof theory for general unification

  • A proof theory for general unification

    1991.
    more →
    A proof theory for general unification

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

No downloadable files are registered for this work yet.

Log in to request a copy