Reactive Kripke Semantics
by
Gabbay, Dov M. author.
Title
:
Reactive Kripke Semantics
Author
:
Gabbay, Dov M. author.
ISBN
:
9783642413896
Physical Description
:
XII, 442 p. 201 illus., 10 illus. in color. online resource.
Series
:
Cognitive Technologies,
Subject Term
:
Computer science.
Logic.
Artificial intelligence.
Logic, Symbolic and mathematical.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Foundations.
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 | 335100-1001 | ONLINE(335100.1) | | Elektronik Kütüphane |