Get Free Shipping on orders over $0
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

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

RRP $362.00

$300.99

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

RRP $90.95

$65.75

28%
OFF
Tools and Technologies for Agriculture 4.0 - Mukesh Saini

RRP $231.00

$202.75

12%
OFF
Orthorectification of High-Resolution Remotely Sensed Images - Guoqing Zhou
Handbook of MRI Pulse Sequences - Matt A. Bernstein

RRP $350.95

$274.99

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

RRP $222.00

$132.75

40%
OFF
R Graphics Cookbook : Practical Recipes for Visualizing Data - Winston Chang
Mobile Computational Photography - Jianfeng Ren
MRI The Basics : 4th edition - Ray H. Hashemi

RRP $199.75

$95.75

52%
OFF