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

Title
: 
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Author
: 
Artemov, Sergei. editor.

ISBN
: 
9783642357220

Physical Description
: 
X, 415 p. 49 illus. online resource.

Series
: 
Lecture Notes in Computer Science, 7734

Subject Term
: 
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.

Added Author
: 
Nerode, Anil.

Added Corporate Author
: 
SpringerLink (Online service)

Electronic Access
: 
http://dx.doi.org/10.1007/978-3-642-35722-0


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