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

Title:

Author:

Artemov, Sergei. editor.

ISBN:

9783642357220

Physical Description:

X, 415 p. 49 illus. online resource.

Series:

Lecture Notes in Computer Science, 7734

Subject Term:

Added Author:

Added Corporate Author:

Electronic Access:

Holds:
Copies:

Library	Material Type	Item Barcode	Shelf Number	Status	Item Holds
Searching... Online Library	E-Book	334038-1001	ONLINE(334038.1)	Searching... Unknown	Searching... Unavailable