scientific article; zbMATH DE number 4016168

MaRDI QIDQ3028320zbMATH OpenFDO

Authors John Alan Robinson

Publication date 1987

zbMATH Keywords

formal symbolic computationsPROLOG

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Symbolic computation and algebraic computation (68W30)

Cited in

(9)

• Logic programming and software maintenance
• Communication logic
• scientific article; zbMATH DE number 4172365 (Why is no real title available?)
• scientific article; zbMATH DE number 3940699 (Why is no real title available?)
• scientific article; zbMATH DE number 3954262 (Why is no real title available?)
• scientific article; zbMATH DE number 4028866 (Why is no real title available?)
• scientific article; zbMATH DE number 4072431 (Why is no real title available?)
• scientific article; zbMATH DE number 2090529 (Why is no real title available?)
• scientific article; zbMATH DE number 2090530 (Why is no real title available?)

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