The action-as-implication paradigm
Subtitle: formal systems and application
By: Bertram Fronhöfer.
Series: Computer science monographs,; 1; Computer science monographs (Munich, Germany) ;; 1.
Publisher: CS Press
Published: 1996
Place of publication: München
Language: eng
Number of pages: 293
Subjects: Automatic theorem proving.; Computer logic.
Notes: Includes bibliographical references and index.
Revision of author's postdoctoral thesis, Technische UnviersitMat München, 1994.