A proof procedure with matrix reduction

Saved in:
Bibliographic Details
Published inSymposium on Automatic Demonstration pp. 207 - 214
Main Author Prawitz, Dag
Format Book Chapter
LanguageEnglish
Published Berlin, Heidelberg Springer Berlin Heidelberg 23.08.2006
SeriesLecture Notes in Mathematics
Subjects
Function Symbol
Matrix Split
Predicate Logic
Proof Procedure
Resolution Procedure
Online AccessGet full text

Cover

More Information
ISBN:9783540049142
3540049142
ISSN:0075-8434
1617-9692
DOI:10.1007/BFb0060634