Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Paperback Published on: 03/05/2013
£41.99
No reviews yet, be the first
Free UK delivery on orders over £25
We can order this from the publisher
Usually dispatched within 3 weeks
Make and edit your lists in your account
No stock available in any shop.
We can order this from the publisher
Usually dispatched within 3 weeks
No stock available in any shop.

Publisher information

  • Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • ISBN: 9783642381966
  • Number of pages: 245
  • Dimensions: 235 x 155 mm
  • Languages: English

Customer Reviews

You may also like...

LISP, Lore, and Logic
W. Richard Stark
£74.99
Machine Learning for Hackers
Drew Conway
£39.99
Pattern Recognition and Machine Learning
Christopher M. Bishop
£74.99
Dark Pools
Scott Patterson
£12.99
Trajectory Planning for Automatic Machines and Robots
Luigi Biagiotti
£199.99
Programming Computer Vision with Python
Jan Erik Solem
£47.99
Evolution, Complexity and Artificial Life
Stefano Cagnoni
£44.99
Neural Network Learning
Martin Anthony
£50.00
Machine Learning
Kevin P. Murphy
£100
The Elements of Statistical Learning
Trevor Hastie
£70.50
Affect and Artificial Intelligence
Elizabeth A. Wilson
£34.95
Bayesian Reasoning and Machine Learning
David Barber
£70.00
Causality
Judea Pearl
£57.00
Artificial Intelligence
Jack Copeland
£37.95
Understanding Machine Learning
Shai Shalev-Shwartz
£53.00
Why Greatness Cannot Be Planned
Kenneth O. Stanley
£24.99