requirement (knowledge in):
First-order formal logic
and solve in isabelle problem solver
further info in chat
7 freelancer menawar pada rata-rata $172 untuk pekerjaan ini
I believe that my 9+ years of programming experience makes me highly qualified for this project. I believe that I would be an asset to this project. Relevant Skills: Algorithm, Programming,
Will be done on time. Agree for any programming test in python. Relevant Skills and Experience Very good experience in programming and currently doing masters in improving my skils.