scientific article

zbMATH Open0746.03002MaRDI QIDQ4002451

Hans-Jörg Kreowski

Publication date: 18 September 1992

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

zbMATH Keywords

modelscompletenessartificial intelligencetruthstructureslogic programmingsignaturesspecificationsproofsdata typesformulastermsintroductory logicmany-sorted structuresexistence of a theorem proverTerm models

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Related Items (5)

Mathematical Logic for Computer Science ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Fundamentals of logic and computation. With practical automated reasoning and verification ⋮ Unnamed Item

Recommendations

• Computational logic 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎

This page was built for publication: