scientific article; zbMATH DE number 4016168

zbMATH Open0625.68009MaRDI QIDQ3028320FDOQ3028320

Authors: John Alan Robinson 

Publication date: 1987

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

Recommendations

• scientific article; zbMATH DE number 4072431
• scientific article; zbMATH DE number 4076677
• scientific article; zbMATH DE number 49478
• scientific article; zbMATH DE number 192840
• scientific article; zbMATH DE number 953819

zbMATH Keywords

PROLOGformal symbolic computations

Mathematics Subject Classification ID

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

Cited In (8)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Communication logic
• Title not available (Why is that?)
• Title not available (Why is that?)

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)