Title:
Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"
Author:
Polkowski, Lech T. author.
ISBN:
9783031420344
Edition:
1st ed. 2023.
Physical Description:
XXXIII, 461 p. 31 illus. online resource.
Series:
Intelligent Systems Reference Library, 245
Contents:
Introduction: Prerequisites -- Sentential Logic -- Rudiments of First-order Logic -- Modal and Intuitionistic Logics -- Temporal Logics for linear and branching time and model checking -- Finitely and innitely valued logics -- Logics for programs and knowledge -- Beyond FO within SO.
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-031-42034-4Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 528546-1001 | ONLINE | Searching... | Searching... |