prove using isabelle proof assistant.

$30-250 AUD

Ακυρώθηκε

Αναρτήθηκε

πάνω από 6 χρόνια πριν

$30-250 AUD

Πληρωμή κατά την παράδοση

requirement (knowledge in): Functional programming First-order formal logic and solve in isabelle problem solver further info in chat

Algorithm

Programming

Ταυτότητα εργασίας: 15199403

Σχετικά με την εργασία

4 προτάσεις

Απομακρυσμένη Εργασία

Ενεργός/ή 7 χρόνια πριν

Ψάχνεις τρόπο για να κερδίσεις μερικά χρήματα;

Διεύθυνση Email

Πλεονεκτήματα πλειοδοσίας στο Freelancer

Καθόρισε τον προϋπολογισμό σου και το χρονοδιάγραμμα

Πληρώσου για τη δουλειά σου

Περίγραψε την πρόταση σου

Η εγγραφή και η πλειοδοσία σε εργασίες είναι δωρεάν

4 freelancers δίνουν μια μέση προσφορά $192 AUD για αυτή τη δουλειά

@ahmsak

Hello Sir... I have a very good experience in functional programming & logic. Please contact me for more details when possible. I look forward to work for you Sir. Best Regards. Relevant Skills and Experience I am a computer science tutor, I teach (among others) Scheme, LISP, Haskell, Prolog and Algorithms. Proposed Milestones $250 AUD - 1

$250 AUD σε 3 ημέρες

4,8

(72 αξιολογήσεις)

6,0

@liveexperts123

please ignore the bid amount we will discuss the price later in the chat after we have discussed the project thoroughly Relevant Skills and Experience: . Proposed Milestones: 155 - . Hi tkhates99! Please drop a message to discuss more about the project

$155 AUD σε 3 ημέρες

5,0

(11 αξιολογήσεις)

5,1

@BeautiCG

hello,sir. I'm a professional programmer with 6 years of experience. I've already done this kind of project before. If you award me, I'll implement all of your requirements in a short time. ProjectName:prove using isabelle proof assistant. Relevant Skills: Algorithm, Programming,

$155 AUD σε 1 ημέρα