Location & Availability for: Logical foundations of computer science

 Staff view

You must be logged in to Tag Records

Logical foundations of computer science [electronic resource] : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /

Sergei Artemov, Anil Nerode (eds.).

Book Cover
Names: Artemov, S. N. | Nerode, Anil,
Published: Berlin ; Springer, c2013.
Series: Lecture notes in computer science ; 7734.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Topics: Computer science - Congresses. | Computer logic - Congresses. | COMPUTERS / Computer Literacy | COMPUTERS / Computer Science | COMPUTERS / Data Processing | COMPUTERS / Hardware / General | COMPUTERS / Information Technology | COMPUTERS / Machine Theory | COMPUTERS / Reference
Genres: Electronic books.
Online Access: SpringerLink Link to Logical foundations of computer science (access limited to Benedictine University patrons)
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Benedictine University

Loading Holdings Data ... Loading

Location & Availability for: Logical foundations of computer science