Automated Reasoning with Analytic Tableaux and Related Methods

Name: Automated Reasoning with Analytic Tableaux and Related Methods
Brand: Springer, Berlin
SKU: 9783540676973
Price: 19771 HUF
Availability: InStock

International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings

Szerző: Roy Dyckhoff

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 771 Ft

This book constitutes the refereed proceedings of the International Conference on Automated Reasonin...

Információk a könyvről

Szerző

Roy Dyckhoff

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2000

oldal

440

EAN

9783540676973

ISBN

354067697X

Enbook ID

01567478

Kiadó

Springer, Berlin

Súly

635

Méretek

155 x 235 x 23

Teljes leírás

This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2000, held in St Andrews, Scotland, UK, in July 2000.§The 23 revised full papers and 2 system descriptions presented were carefully reviewed and selected from 42 submissions. Also included are 3 invited lectures and 6 nonclassical system comparisons. All current issues surrounding the mechanization of reasoning with tableaux and similar methods are addressed - ranging from theoretical foundations to implementation, systems development, and applications, as well as covering a broad variety of logical calculi.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták