requirement (knowledge in):
First-order formal logic
and solve in isabelle problem solver
further info in chat
5 freelance ont fait une offre moyenne de 143 $ pour ce travail
Hello I have developed similar work in the past So I can finish it within 2 hours Please contact us Thanks Relevant Skills and Experience c/c++,c#,python Proposed Milestones $155 AUD - finish
i am expert in this Algorithm, Programming Relevant Skills and Experience Algorithm, Programming Proposed Milestones $30 AUD - initial milestone Stay tuned, I'm still working on this proposal.