scientific article; zbMATH DE number 1070624

From MaRDI portal

Publication:4357064

Jump to:navigation, search

zbMath0883.68110MaRDI QIDQ4357064

Gerhard Jäger

Publication date: 7 October 1997

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

zbMATH Keywords

SLD resolution first order logic programming

Mathematics Subject Classification ID

Logic programming (68N17)

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