Enlarge

Logical foundations of computer science : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016, proceedings

Publication Data

Title Logical foundations of computer science : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016, proceedings
Contributors S. N. Artemov, Anil Nerode
Publisher Springer
Publication date 2016
Publication location Cham
Language English

Topics

Computer science :: Congresses
Computer logic :: Congresses

Catalogue Data

OBNB ID GBB5I5305
ISBN 10 3319276824
ISBN 13 9783319276823
Type BibliographicResource, Book
Dewey Classification 004.015113

ISBD

P1053 x, 406 pages
P1042 Includes bibliographical references and 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 2016, Deerfield Beach, FL, USA, January 4-7, 2016, proceedings. ISBN 9783319276823. Published by Springer in 2016. Publication and catalogue information, links to buy online and reader comments.