Automated Deduction - CADE-19

Name: Automated Deduction - CADE-19
Price: 456,60 DKK
Availability: InStock
ISBN: 9783540450856

19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Franz Baader

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.

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

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.

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

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.

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

Go to Accessibility information

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

Product description

The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003. The 29 revised full papers and 7 system description papers presented together with an invited paper and 3 abstracts of invited talks were carefully reviewed and selected from 83 submissions. All current aspects of automated deduction are discussed, ranging from theoretical and methodological issues to the presentation of new theorem provers and systems.

Select variation, to see accessibility information

Details

ISBN13 9783540450856
Released 2003
Publisher Springer
Format Elektronisk medie
Edition 1
Language English