Search:

Type:

Format:

Library:

Programming Logics Essays in Memory of Harald Ganzinger Cover Image

E-book

E-book

Programming Logics [electronic resource] : Essays in Memory of Harald Ganzinger / edited by Andrei Voronkov, Christoph Weidenbach.

Voronkov, Andrei. (editor.). Weidenbach, Christoph. (editor.). SpringerLink (Online service) (Added Author).

Record details

ISBN: 9783642376511
Physical Description: X, 447 p. 69 illus. online resource.
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.

Search for related items by subject

Subject:

Computer science.
Logic design.
Artificial intelligence.
Computer vision.
Computer Science.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Programming Techniques.
Logics and Meanings of Programs.
Computer Imaging, Vision, Pattern Recognition and Graphics.
Computer Imaging, Vision, Pattern Recognition and Graphics.

Search for related items by series

Add to basket Print Email Permalink Disable Highlighting

Electronic resources

► Awards, Reviews, & Suggested Reads

► Additional Content

► Shelf Browser

► MARC Record