Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
tarafından
 
Gonthier, Georges. editor.

Başlık
: 
Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

Yazar
: 
Gonthier, Georges. editor.

ISBN
: 
9783319035451

Fiziksel Tanımlama
: 
XII, 309 p. 44 illus. online resource.

Seri
: 
Lecture Notes in Computer Science, 8307

Konu Terimleri
: 
Computer science.
 
Logic design.
 
Algebra -- Data processing.
 
Artificial intelligence.
 
Logics and Meanings of Programs.
 
Mathematical Logic and Formal Languages.
 
Programming Languages, Compilers, Interpreters.
 
Symbolic and Algebraic Manipulation.
 
Artificial Intelligence (incl. Robotics).
 
Computer Science, general.

Yazar Ek Girişi
: 
Norrish, Michael.

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

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


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