Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"
by
Polkowski, Lech T. author.
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.
Subject Term
:
Engineering -- Data processing.
Computational intelligence.
Artificial intelligence.
Computer science.
Data Engineering.
Computer Science Logic and Foundations of Programming.
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 | 528546-1001 | ONLINE | | Elektronik Kütüphane |