scientific article; zbMATH DE number 140389
From MaRDI portal
Publication:4028796
zbMATH Open0765.68188MaRDI QIDQ4028796FDOQ4028796
Authors: Michael Genesereth, Jane Yung-jen Hsu
Publication date: 28 March 1993
Title of this publication is not available (Why is that?)
Recommendations
semanticssyntaxlogical specification of procedurespartial program interpreterpartial programming languageprocedural hints
General topics in the theory of software (68N01) Knowledge representation (68T30) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (5)
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 Q4028796)