scientific article; zbMATH DE number 512989

zbMath0850.68299MaRDI QIDQ4281698

Manfred E. Szabo

Publication date: 26 February 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

automated deductions

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (1)

Coupling of BEM with a large displacement and rotation algorithm

This page was built for publication: