Skip to:Content
|
Bottom
Cover image for Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
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
Holds: 0
Copies: 1
Library
Click to Sort
Material Type
Click to Sort
Item Barcode
Click to Sort
Shelf Number
Click to Sort
Status
Click to Sort
Item Holds
Click to Sort
Online Library
 E-Book 334038-1001 ONLINE(334038.1)
Elektronik Kütüphane
Go to:Top of Page