Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
tarafından
 
Grossi, Davide. editor.

Başlık
: 
Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

Yazar
: 
Grossi, Davide. editor.

ISBN
: 
9783642409486

Fiziksel Tanımlama
: 
XII, 363 p. 41 illus. online resource.

Seri
: 
Lecture Notes in Computer Science, 8196

Konu Terimleri
: 
Computer science.
 
Information theory.
 
Logic design.
 
Computational complexity.
 
Algebra -- Data processing.
 
Logic, Symbolic and mathematical.
 
Mathematical Logic and Formal Languages.
 
Mathematical Logic and Foundations.
 
Discrete Mathematics in Computer Science.
 
Symbolic and Algebraic Manipulation.
 
Logics and Meanings of Programs.
 
Theory of Computation.

Yazar Ek Girişi
: 
Roy, Olivier.
 
Huang, Huaxin.

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

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


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