Find Jobs
Hire Freelancers

Computational Logic and Automated Reasoning

$30-250 CAD

Ακυρώθηκε
Αναρτήθηκε πάνω από 7 χρόνια πριν

$30-250 CAD

Πληρωμή κατά την παράδοση
I need this done in the next 12 hours exactly. Can't be more. It is simple if you know what you are doing. Please read the PDF attached for instuctions. Must be Expert in Latex and Prover9. Attached also an example submission for reference
Ταυτότητα εργασίας: 13017040

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

5 προτάσεις
Απομακρυσμένη Εργασία
Ενεργός/ή 7 χρόνια πριν

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

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

Καθόρισε τον προϋπολογισμό σου και το χρονοδιάγραμμα
Πληρώσου για τη δουλειά σου
Περίγραψε την πρόταση σου
Η εγγραφή και η πλειοδοσία σε εργασίες είναι δωρεάν
5 freelancers δίνουν μια μέση προσφορά $96 CAD για αυτή τη δουλειά
Avatar Χρήστη
I have high proficiency in Electrical Engineering,Mechanical Engineering, Electronics, Engineering, Microcontroller, PCB Layout and have been working on Industrial Automatics and Electronics. Our fields of interest are: Schematic design, Prototyping, PCB Design, Development of Electronic systems, Firmware and Software development. Once you share the project, I will have a look & confirm if I can do it. I’m honest, creative and a unique person to carry out your tasks given to me. Leaving your project on our hand is a privileged; we'll make sure that the project is done in a perfect way and do our best until you satisfied. I would love to discuss this project with you and meet your exact requirements. I am confident I can provide you with top notch materials that will fit your needs. I pride my work on being professional, of the highest quality and always delivered on time.
$30 CAD σε 1 ημέρα
0,0 (0 αξιολογήσεις)
0,0
0,0
Avatar Χρήστη
I am an Electrical Engineer by education but passion for programming and game development brought me into this field. I have been a part of iOS and Android Development for over 5 years, learning various programming languages and techniques with time. Over the past 5 years, I have published variety of apps and games on Google Play and iTunes. My experience includes building native apps, using 3rd party tools to develop multi-platform Apps and Games as well as developing Plugins for Unity. I have experience in the following fields: - iOS and Android Client Side App Development - Server side App Development - 2D Game Development - 3D Game Development The main tools and languages which I use for development are: - Xcode - Unity - Eclipse - Cocos2D - Objective C - Swift - C# - Java - Javascript Will all my skills listed and my work history, you can judge me and trust me that I will deliver you a bug free, great final Product.
$222 CAD σε 10 ημέρες
0,0 (0 αξιολογήσεις)
0,0
0,0

Σχετικά με τον πελάτη

Σημαία της CANADA
Ottawa, Canada
5,0
47
Επαληθευμένη μέθοδος πληρωμής
Μέλος από Οκτ 19, 2013

Επαλήθευση Πελάτη

Ευχαριστούμε! Σου έχουμε στείλει ένα email με ένα σύνδεσμο για να διεκδικήσεις τη δωρεάν πίστωση σου.
Κάτι πήγε στραβά κατά την προσπάθεια αποστολής του email σου. Παρακαλούμε δοκίμασε ξανά.
Εγγεγραμμένοι Χρήστες Συνολικές Αναρτημένες Δουλειές
Freelancer ® is a registered Trademark of Freelancer Technology Pty Limited (ACN 142 189 759)
Copyright © 2024 Freelancer Technology Pty Limited (ACN 142 189 759)
Φόρτωση προεπισκόπησης
Δόθηκε πρόσβαση για Geolocation.
Η σύνδεση σου έχει λήξει και τώρα έχεις αποσυνδεθεί. Παρακαλούμε συνδέσου ξανά.