Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
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
![Loading indicator](/images/ajax-loader-bar.gif)
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
|
zzzz
Libraries near you:
WorldCat
|
3
Programming Logics: Essays in Memory of Harald Ganzinger
Apr 09, 2013, Springer
paperback
3642376525 9783642376528
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Source title: Programming Logics: Essays in Memory of Harald Ganzinger
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created October 3, 2020
- 1 revision
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
October 3, 2020 | Created by ImportBot | Imported from amazon.com record |