Logic: Reference Book for Computer Scientists
From MaRDI portal
Publication:6181540
DOI10.1007/978-3-031-42034-4zbMath1529.68008MaRDI QIDQ6181540
Publication date: 2 January 2024
Published in: Intelligent Systems Reference Library (Search for Journal in Brave)
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic in artificial intelligence (68T27) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Logic in computer science (03B70)
This page was built for publication: Logic: Reference Book for Computer Scientists