Automated Reasoning with Analytic Tableaux and Related Methods

Name: Automated Reasoning with Analytic Tableaux and Related Methods
Price: 456,60 DKK
Availability: InStock
ISBN: 9783540730996

16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings

N. Olivetti

Full access

456,60 DKK

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf. Se mere her.

Sidelayoutet er fast sideformat som i den trykte bog.

Excerpt: 2 copy-operations
Print: 2 page-prints

Go to Accessibility information

60 days rental

199,56 DKK

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf. Se mere her.

Sidelayoutet er fast sideformat som i den trykte bog.

Excerpt: 2 copy-operations
Print: 2 page-prints

Go to Accessibility information

90 days rental

242,40 DKK

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf. Se mere her.

Sidelayoutet er fast sideformat som i den trykte bog.

Print: 2 page-prints
Excerpt: 2 copy-operations

Go to Accessibility information

120 days rental

285,25 DKK

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf. Se mere her.

Sidelayoutet er fast sideformat som i den trykte bog.

Excerpt: 2 copy-operations
Print: 2 page-prints

Go to Accessibility information

180 days rental

306,74 DKK

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf. Se mere her.

Sidelayoutet er fast sideformat som i den trykte bog.

Print: 2 page-prints
Excerpt: 2 copy-operations

Go to Accessibility information

365 days rental

456,60 DKK

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf. Se mere her.

Sidelayoutet er fast sideformat som i den trykte bog.

Print: 2 page-prints
Excerpt: 2 copy-operations

Go to Accessibility information

Please note that the standard 14-day cancellation right terminates upon receiving access to the e-book.

Product description

This book constitutes the refereed proceedings of the 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2007, held in Aix en Provence, France. It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and dynamic logics), from many-valued logics to nonmonotonic logics, and from classical first-order logic to description logics.

Select variation, to see accessibility information

Details

ISBN13 9783540730996
Released 2007
Publisher Springer
Format Elektronisk medie
Edition 1
Language English