2005
Paperback (24 Nov 2005)
Save $5.04
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005. This book presents 46 revised papers with 3 abstracts, addressing issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.
| ISBN: | 9783540305538 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 24 Nov 2005 |
| Edition: | 2005 |
| DEWEY: | 006.3 |
| DEWEY edition: | 22 |
| Language: | English |
| Number of pages: | 744 |
| Weight: | 2320g |
| Height: | 234mm |
| Width: | 156mm |
| Spine width: | 38mm |
$2.79off
Software Development Pearls
Paperback
Published 06 Oct 2021
Save $2.79
$6.26off
The Pragmatic Programmer
Hardback
Published 02 Dec 2019
Save $6.26
$14.07off
97 Things Every Java Programmer...
Paperback
Published 02 Jun 2020
Save $14.07
$51.59off
Usability Engineering
Paperback
Published 11 Nov 1994
Save $51.59
$37.50off
Cloud Native Spring in Action
Paperback
Published 13 Dec 2022
Save $37.50
$19.84off
Policy as Code
Paperback
Published 12 Jul 2024
Save $19.84
$10.27off
The Engineering Leader
Paperback
Published 30 Apr 2024
Save $10.27
Sustainability in Digital Trans...
Paperback
Published 29 Aug 2024
$2.93off
Buildings and Semantics
Paperback
Published 19 Dec 2024
Save $2.93
Nonfunctional Requirements in M...
Paperback
Published 09 Oct 2024