Logical Foundations of Computer Science
International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
By Sergei Artemov
"Logical Foundations of Computer Science" was published by Springer Berlin / Heidelberg in 2012 and the language of the book is English.
“Logical Foundations of Computer Science” Metadata:
- Title: ➤ Logical Foundations of Computer Science
- Author: Sergei Artemov
- Language: English
- Publisher: Springer Berlin / Heidelberg
- Publish Date: 2012
“Logical Foundations of Computer Science” Subjects and Themes:
- Subjects: ➤ Mathematical Logic and Formal Languages - Symbolic and mathematical Logic - Information theory - Logic design - Logics and Meanings of Programs - Computer science - Arithmetic and Logic Structures - Programming Languages, Compilers, Interpreters - Theory of Computation - Mathematical Logic and Foundations - Congresses - Computer logic - Logic
Edition Specifications:
- Weight: 0.652
- Pagination: x, 415
Edition Identifiers:
- The Open Library ID: OL37158097M - OL19884481W
- ISBN-13: 9783642357213
- All ISBNs: 9783642357213
AI-generated Review of “Logical Foundations of Computer Science”:
Read “Logical Foundations of Computer Science”:
Read “Logical Foundations of Computer Science” by choosing from the options below.
Search for “Logical Foundations of Computer Science” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Logical Foundations of Computer Science” in Libraries Near You:
Read or borrow “Logical Foundations of Computer Science” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Logical Foundations of Computer Science” at a library near you.
Buy “Logical Foundations of Computer Science” online:
Shop for “Logical Foundations of Computer Science” on popular online marketplaces.