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:ger
  • Publication Date:1991

Notes

Literaturverz. S. 167 - 175

The Physical Object

  • Description:175 S. : graph. Darst. : 24 cm

Edition Identifiers

  • ISBN:9783764335939, 3764335939, 9780817635930, 0817635939
  • oclc:ocn246547656

Subjects

Computerunterstützter Beweis Unifikationstheorie

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