Logics for computer and data sciences, and artificial intelligence

DOI10.1007/978-3-030-91680-0zbMATH Open1498.68003OpenAlexW4206684896MaRDI QIDQ2057567FDOQ2057567

Authors: Lech Polkowski 

Publication date: 6 December 2021

Published in: Studies in Computational Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-91680-0

Recommendations

• Logics for Computer Science
• scientific article; zbMATH DE number 5728686
• Logic(s), formal languages and complexity for computer science
• scientific article; zbMATH DE number 49445
• scientific article; zbMATH DE number 595198

zbMATH Keywords

rough setsfirst-order logicmany-valued logicmodal logictemporal logicpropositional logic

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic in artificial intelligence (68T27) Logic in computer science (03B70) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Cited In (3)

• A machine learning approach to enhance the SUPG stabilization method for advection-dominated differential problems
• Logic for informatics and artificial intelligence
• Title not available (Why is that?)

This page was built for publication: Logics for computer and data sciences, and artificial intelligence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2057567)