Cover image for Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"
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:
https://doi.org/10.1007/978-3-031-42034-4
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
 E-Book 528546-1001 ONLINE
Searching...

On Order