Construction and Evaluation of a Gold Standard Syntax for Formal Logic Formulas and Systems

9789310113548

Dilpreet Modi

Dweep Press

English

Computer Science & Information Technology - Computer Science & Information Technology

2023

11100.00

Construction and Evaluation of a Gold Standard Syntax for Formal Logic Formulas and Systems