Automated Reasoning With Analytic Tableaux And Related Methods
International Conference, Tableaux'99, Saratoga Springs, Ny, Usa, June 7-11, 1999, Proceedings
Editor: Neil V.Murray
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 1999
Paperback, 335 pages
Size: 235x155 mm
ISBN: 9783540660866
ISBN-10: 3540660860
Automated Reasoning With Analytic Tableaux And Related Methods
These revised papers on the mechanization of reasoning with tableaux and similar methods range from theoretical foundations to implementation and systems development and applications as well as covering a broad area of logic calculi.

