scientific article; zbMATH DE number 512989

MaRDI QIDQ4281698zbMATH OpenFDO

Authors Manfred E. Szabo

Publication date 26 February 1996

zbMATH Keywords

automated deductions

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cited in

(1)

• Coupling of BEM with a large displacement and rotation algorithm

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