Applications; the Statics of Logic Systems
Part of the Monographs in Theoretical Computer Science An EATCS Series book series (EATCS)
In this chapter, several applications of Beth tableaux and of the fundamental principle of the statics of logic systems to a variety of problems are discussed.
KeywordsDoyle Avant Clarification
Unable to display preview. Download preview PDF.
© Springer-Verlag Berlin Heidelberg 1995