2002
Paperback (02 Oct 2002)
Save $0.05
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
Compiled from the proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, this volume contains 30 papers. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution and proof planning.
| ISBN: | 9783540000105 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 02 Oct 2002 |
| Edition: | 2002 |
| DEWEY: | 006.3 |
| DEWEY edition: | 21 |
| Language: | English |
| Number of pages: | 463 |
| Weight: | 1490g |
| Height: | 234mm |
| Width: | 156mm |
| Spine width: | 24mm |
$26.81off
Hands-On Generative AI With Tra...
Paperback
Published 10 Dec 2024
Save $26.81
$22.66off
Effective Machine Learning Teams
Paperback
Published 15 Mar 2024
Save $22.66
$37.16off
The Logic of Typed Feature Stru...
Paperback
Published 11 Oct 2005
Save $37.16
$11.53off
Graph Algorithms for Data Science
Paperback
Published 06 Feb 2024
Save $11.53
$32.60off
Logical Foundations of Cyber-Ph...
Hardback
Published 11 Aug 2018
Save $32.60
$80.44off
Beyond Planar Graphs
Hardback
Published 01 Oct 2020
Save $80.44
$5.34off
General Quantum Variational Cal...
Paperback
Published 19 Dec 2024
Save $5.34
$4.82off
Frontiers of Fractal Analysis
Paperback
Published 08 Oct 2024
Save $4.82
$10.81off
An Introduction to Deep Surviva...
Paperback
Published 02 Jan 2025
Save $10.81
Zhang Time Discretization (ZTD)...
Hardback
Published 07 Aug 2024