scientific article

zbMATH Open0760.68051MaRDI QIDQ4028347

Klaus P. Jantke

Publication date: 28 March 1993

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

zbMATH Keywords

inductive inferenceincomplete equational software specificationspartially automated program synthesis

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Related Items (2)

Inductive theorem proving for design specifications ⋮ Term Rewriting and Applications

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