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

Our price: £37.99

Usually ships within 1 week.

Will be shipped from: United Kingdom
 Add to Shopping Basket 

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.

Related links:

Neil V. Murray
Knowledge-based systems / expert systems
Artificial intelligence
Applications of computing
Computing and information technology
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg

More information from Wikipedia:

Neil V. Murray
© 2006-2009 Eruditor Ltd and its partners

Search

Whole catalogue
Welfare & benefit systems

Advanced Search

Browse

Authors’ Name Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Share |