Verification server for the assembly model of a block 3D-constractions on prolog
Conference proceeding in AIP Conference Proceedings (March 2024)
The most recent citing publications are shown below. View all 38 publications that cite this research output on Dimensions.
Conference proceeding in AIP Conference Proceedings (March 2024)
Book chapter (January 2024)
Monograph (January 2024)