scientific article; zbMATH DE number 4176423

zbMATH Open0714.68010MaRDI QIDQ3200534FDOQ3200534

Stefan Lüttringhaus

Publication date: 1989

Title of this publication is not available (Why is that?)

zbMATH Keywords

logic programs with functions

Mathematics Subject Classification ID

Artificial intelligence (68T99) Logic programming (68N17) Theory of compilers and interpreters (68N20)

Cited In (2)

• Title not available (Why is that?)
• Logic programming with functions and predicates: The language Babel

Uses Software

• Miranda

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 Q3200534)