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
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 335032-1001 | ONLINE(335032.1) | | Elektronik Kütüphane |