scientific article

From MaRDI portal

Publication:3070800

Jump to:navigation, search

zbMath1217.03001MaRDI QIDQ3070800

Ricardo Caferra

Publication date: 27 January 2011

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

fuzzy logic modal logic first-order logic propositional logic resolution temporal logic logic programming tableau proofs

Mathematics Subject Classification ID

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

Related Items (3)

Mathematical Logic for Computer Science ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3070800&oldid=16124155"