Search alternatives:
algorithm » algorithms
Cover Image
Read Now

1
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... -- Contributed Papers -- Tableau Calculi for over minspaces -- A Resolution Mechanism for Prenex Gödel Logic...”