The kinematics of cutting solid objects
From MaRDI portal
Publication:1353867
DOI10.1007/BF01530935zbMath1004.68590MaRDI QIDQ1353867
Publication date: 11 May 1997
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Related Items
Pouring liquids: a study in commonsense physical reasoning ⋮ Proof Verification Technology and Elementary Physics ⋮ An attempt to formalise a non-trivial benchmark problem in common sense reasoning