scientific article

zbMATH Open0648.68096MaRDI QIDQ3793762

Lu Yang, Mike Deng, Jingzhong Zhang

Publication date: 1988

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

zbMATH Keywords

resultantsfirst-order modal logicdeductive inferenceknowledge representation systemparallel numerical method.systems of algebraic relations

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Modal logic (including the logic of norms) (03B45) Polynomials in general fields (irreducibility, etc.) (12E05) Artificial intelligence (68T99) Euclidean geometries (general) and generalizations (51M05)

Related Items (1)

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