Notepad
The notepad is empty.
The basket is empty.
Free shipping possible
Please wait - the print view of the page is being prepared.
The print dialogue opens as soon as the page has been completely loaded.
If the print preview is incomplete, please close it and select "Print again".

Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
BookPaperback
Ranking42773in
CHF69.00

Description

Constitutes the proceedings of the 14th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. This book focuses on various aspects of the mechanization of reasoning with tableaux and related methods. It emphasises on applications in areas such as hardware and software verification, and knowledge engineering.
More descriptions

Details

ISBN/GTIN978-3-540-28931-9
Product TypeBook
BindingPaperback
PublisherSpringer
Publishing date05/09/2005
Edition2005
SeriesLecture Notes in Artificial Intelligence
Series no.3702
Pages360 pages
LanguageEnglish
SizeWidth 155 mm, Height 235 mm, Thickness 20 mm
Weight546 g
Article no.3060308
Publisher's article no.11554554
CatalogsBuchzentrum
Data source no.15382429
More details

Series

Author

Subjects