Search:

Type:

Format:

Library:

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

E-book

E-book

Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings / edited by Sergei Artemov, Anil Nerode.

Artemov, Sergei. (editor.). Nerode, Anil. (editor.). SpringerLink (Online service) (Added Author).

Record details

ISBN: 9783642357220
Physical Description: X, 415 p. 49 illus. online resource.
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.

Search for related items by subject

Subject:

Computer science.
Information theory.
Logic design.
Logic, Symbolic and mathematical.
Computer Science.
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.

Search for related items by series

Other Formats and Editions

E-book (3)
English (3)

View all formats and editions (3)

Add to basket Print Email Permalink Disable Highlighting

Electronic resources

► Awards, Reviews, & Suggested Reads

► Additional Content

► Shelf Browser

► MARC Record