Logical tools for handling change in agent-based systems
Material type:
TextLanguage: English Series: Cognitive technologiesPublication details: Berlin Springer 2010Description: x, 305p. cmISBN: - 9783642044069 (hbd)
- B:(R1), Q0
Textual
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Textual
|
Central Science Library | Central Science Library | B:(R1) Q0 (Browse shelf(Opens below)) | Available | SL1534561 |
Browsing Central Science Library shelves Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| B:(R1) P3 TB Problems in set theory, mathematical logic and the theory of algorithms | B:(R1) P6 Concise introduction to mathematical logic | B:(R1) P8 Course on mathematical logic | B:(R1) Q0 Logical tools for handling change in agent-based systems | B:(R1) Q0 TB Proofs from the book | B:(R1) Q1-;4 Essence of logic | B:(R1) Q1-;4 Essence of logic |
Bibliography 295-298p.; Index 299-305p.
There are no comments on this title.
Log in to your account to post a comment.
