Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
by
 
Grossi, Davide. editor.

Title
: 
Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

Author
: 
Grossi, Davide. editor.

ISBN
: 
9783642409486

Physical Description
: 
XII, 363 p. 41 illus. online resource.

Series
: 
Lecture Notes in Computer Science, 8196

Subject Term
: 
Computer science.
 
Information theory.
 
Logic design.
 
Computational complexity.
 
Algebra -- Data processing.
 
Logic, Symbolic and mathematical.
 
Mathematical Logic and Formal Languages.
 
Mathematical Logic and Foundations.
 
Discrete Mathematics in Computer Science.
 
Symbolic and Algebraic Manipulation.
 
Logics and Meanings of Programs.
 
Theory of Computation.

Added Author
: 
Roy, Olivier.
 
Huang, Huaxin.

Added Corporate Author
: 
SpringerLink (Online service)

Electronic Access
: 
http://dx.doi.org/10.1007/978-3-642-40948-6


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book335032-1001ONLINE(335032.1)Elektronik Kütüphane