Logic for Programming, Artificial Intelligence, and Reasoning

Name: Logic for Programming, Artificial Intelligence, and Reasoning
Price: 456,60 DKK
Availability: InStock
ISBN: 9783540755609

14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings

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.

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

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.

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

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.

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

This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia. It contains 36 revised full papers, 15 short papers and three invited talks that were carefully selected from 78 submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.

Select variation, to see accessibility information

Details

ISBN13 9783540755609
Released 2007
Publisher Springer
Edition 1
Language English