Programming Logics Essays in Memory of Harald Ganzinger
tarafından
 
Voronkov, Andrei. editor.

Başlık
: 
Programming Logics Essays in Memory of Harald Ganzinger

Yazar
: 
Voronkov, Andrei. editor.

ISBN
: 
9783642376511

Fiziksel Tanımlama
: 
X, 447 p. 69 illus. online resource.

Seri
: 
Lecture Notes in Computer Science, 7797

Konu Terimleri
: 
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.

Yazar Ek Girişi
: 
Weidenbach, Christoph.

Tüzel Kişi Ek Girişi
: 
SpringerLink (Online service)

Elektronik Erişim
: 
http://dx.doi.org/10.1007/978-3-642-37651-1


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap334468-1001ONLINE(334468.1)Elektronik Kütüphane