Get Free Shipping on orders over $79
Programming Logics : Essays in Memory of Harald Ganzinger - Andrei Voronkov

Programming Logics

Essays in Memory of Harald Ganzinger

By: Andrei Voronkov (Editor), Christoph Weidenbach (Editor)

Paperback | 3 April 2013

At a Glance

Paperback


$84.99

or 4 interest-free payments of $21.25 with

 or 

Ships in 5 to 7 business days

This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues all over the world and covers all the fields to which Harald Ganzinger dedicated his work during his academic career.

The volume begins with a complete account of Harald Ganzinger's work and then turns its focus to the research of his former colleagues, students, and friends who pay tribute to him through their writing. Their individual papers span a broad range of topics, including programming language semantics, analysis and verification, first-order and higher-order theorem proving, unification theory, non-classical logics, reasoning modulo theories, and applications of automated reasoning in biology.

More in Image Processing

MRI in Practice : 5th Edition - Catherine Westbrook

RRP $90.95

$59.75

34%
OFF
Biosignal and Medical Image Processing : 3rd Edition - John L. Semmlow

RRP $398.20

$338.99

15%
OFF
MRI Physics : Tech to Tech Explanations - Stephen J. Powers

RRP $90.95

$87.75

Handbook of MRI Pulse Sequences - Matt A. Bernstein

RRP $350.95

$274.99

22%
OFF
Virtopsy Update : The Next Level of Forensic Imaging - Michael Thali

RRP $305.00

$112.75

63%
OFF
Optical Networks and Components : Fundamentals and Advances - Partha Pratim Sahu

RRP $222.00

$132.75

40%
OFF
Mobile Computational Photography - Jianfeng Ren
The Future of Seeing : How Imaging Is Changing Our World - Daniel K. Sodickson
MRI The Basics : 4th edition - Ray H. Hashemi

RRP $199.75

$95.75

52%
OFF
R Graphics Cookbook : Practical Recipes for Visualizing Data - Winston Chang