Need help in implementing First Order Logic (including conversion to CNF form) and solving problem using resolution with Python -- 4

2 freelanceri licitează în medie 11250₹ pentru acest proiect


Hi! My name is Gaurav, I'm from Mumbai. I am interested in helping you out with this project. I am a post-graduate computer engineer so have a good background of mathematics and I have a good experience with Python as Mai multe

%bids___i_sum_sub_35%%project_currencyDetails_sign_sub_36% INR în 5 zile
(4 recenzii)

Versatile python developer with extensive skills in FOL (first order logic), including solving problems constructing proofs & models.

%bids___i_sum_sub_35%%project_currencyDetails_sign_sub_36% INR în 7 zile
(0 recenzii)