Programming Logics
Essays in Memory of Harald Ganzinger
by Andrei Voronkov
- 3 Want to read
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.
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Mathematical Logic and Formal Languages, Computer Imaging, Vision, Pattern Recognition and Graphics, Programming Techniques, Logic design, Computer vision, Logics and Meanings of Programs, Computer science, Artificial intelligence, Artificial Intelligence (incl. Robotics), Logic programmingShowing 3 featured editions. View all 3 editions?
| Edition | Availability |
|---|---|
1
Programming Logics: Essays in Memory of Harald Ganzinger
Apr 03, 2013, Springer
paperback
3642376509 9783642376504
|
zzzz
Libraries near you:
WorldCat
|
2
Programming Logics: Essays in Memory of Harald Ganzinger
2013, Springer Berlin Heidelberg, Imprint: Springer
electronic resource :
in English
3642376517 9783642376511
|
aaaa
Libraries near you:
WorldCat
|
3
Programming Logics: Essays in Memory of Harald Ganzinger
Apr 09, 2013, Springer
paperback
3642376525 9783642376528
|
zzzz
Libraries near you:
WorldCat
|
Book Details
Table of Contents
Edition Notes
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| February 26, 2022 | Edited by ImportBot | import existing book |
| July 6, 2019 | Created by MARC Bot | import new book |