Programming Logics Essays in Memory of Harald Ganzinger
by
 
Voronkov, Andrei. editor.

Title
: 
Programming Logics Essays in Memory of Harald Ganzinger

Author
: 
Voronkov, Andrei. editor.

ISBN
: 
9783642376511

Physical Description
: 
X, 447 p. 69 illus. online resource.

Series
: 
Lecture Notes in Computer Science, 7797

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

Added Author
: 
Weidenbach, Christoph.

Added Corporate Author
: 
SpringerLink (Online service)

Electronic Access
: 
http://dx.doi.org/10.1007/978-3-642-37651-1


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book334468-1001ONLINE(334468.1)Elektronik Kütüphane