scientific article; zbMATH DE number 4164153

MaRDI QIDQ3490965zbMATH OpenFDO

Authors K. Drosten

Publication date 1989

zbMATH Keywords

logic programmingPrologalgebraic specifications

Mathematics Subject Classification ID

Artificial intelligence (68T99) Logic programming (68N17) Abstract data types; algebraic specification (68Q65)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3490965)