Incorporating paramodulation into model elimination

von Kumar, S. Kishore
Veröffentlicht 1991

Effective Ways to Handle the Change Management for Cost in Various Types of Contracts

von Nandini, S. Sree
Veröffentlicht in ACMM (2021 : Kattankulathur) Advances in construction management (2022)

Design and development of aerospace vehicles and propulsion systems : Proceedings of SAROD 2018

Veröffentlicht 2021

Proceedings of the National Aerospace Propulsion Conference

Veröffentlicht 2021