Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
tarafından
 
Artemov, Sergei. editor.

Başlık
: 
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Yazar
: 
Artemov, Sergei. editor.

ISBN
: 
9783642357220

Fiziksel Tanımlama
: 
X, 415 p. 49 illus. online resource.

Seri
: 
Lecture Notes in Computer Science, 7734

Konu Terimleri
: 
Computer science.
 
Information theory.
 
Logic design.
 
Logic, Symbolic and mathematical.
 
Mathematical Logic and Formal Languages.
 
Arithmetic and Logic Structures.
 
Logics and Meanings of Programs.
 
Theory of Computation.
 
Programming Languages, Compilers, Interpreters.
 
Mathematical Logic and Foundations.

Yazar Ek Girişi
: 
Nerode, Anil.

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

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


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