Κανονική προβολή Προβολή MARC Προβολή ISBD

Snyder, Wayne, 1955-

A proof theory for general unification / Wayne Snyder. - Boston : Birkhäuser, 1991. - vi, 175 σ. : εικ. ; 25 εκ. - Progress in computer science and applied logic 11. . - Progress in computer science and applied logic .

Περιλαμβάνει βιβλιογραφικές παραπομπές.

ISBN: 0817635939 3764335939

LCCN: 91028684

Subjects--Topical Terms:
Αυτόματη απόδειξη θεωρημάτων

Dewey Class. No.: 511.3