Enlarge

Logical foundations of computer science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013 : proceedings

Publication Data

Title Logical foundations of computer science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013 : proceedings
Contributors S. N. Artemov, Anil Nerode
Publisher Springer
Publication date 2013
Publication location Heidelberg
Language English

Topics

Computer science :: Congresses
Computer logic :: Congresses

Catalogue Data

OBNB ID GBB316569
ISBN 10 3642357210
ISBN 13 9783642357213
Type BibliographicResource, Book
Dewey Classification 004.015113

ISBD

P1053 x, 414 pages
P1042 Includes bibliographical references and author index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Logical foundations of computer science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013 : proceedings. ISBN 9783642357213. Published by Springer in 2013. Publication and catalogue information, links to buy online and reader comments.