Logic: Reference Book for Computer Scientists: The 2nd Revised, Modified, and Enlarged Edition of “Logics for Computer and Data Sciences, and Artificial Intelligence”
Author:   Lech T. Polkowski
Publisher:   Springer International Publishing AG
Edition:   2023 ed.
Volume:   245
ISBN:  

9783031420337


Pages:   461
Publication Date:   04 October 2023
Format:   Hardback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $659.97 Quantity:  
Add to Cart

Share |

Logic: Reference Book for Computer Scientists: The 2nd Revised, Modified, and Enlarged Edition of “Logics for Computer and Data Sciences, and Artificial Intelligence”


Add your own review!

Overview

Full Product Details

Author:   Lech T. Polkowski
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Edition:   2023 ed.
Volume:   245
Weight:   0.904kg
ISBN:  

9783031420337


ISBN 10:   3031420330
Pages:   461
Publication Date:   04 October 2023
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Table of 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.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

RGJUNE2025

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now