scientific article; zbMATH DE number 1200168

From MaRDI portal

Publication:4211444

Jump to:navigation, search

zbMath0897.03026MaRDI QIDQ4211444

Slaviša B. Prešić

Publication date: 17 September 1998

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

zbMATH Keywords

completeness deduction logic programming extended set of inference rules

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17)

This page was built for publication:

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