Find Jobs
Hire Freelancers

Computational Logic and Automated Reasoning

$30-250 CAD

Cancelado
Publicado hace alrededor de 7 años

$30-250 CAD

Pagado a la entrega
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
ID del proyecto: 13017040

Información sobre el proyecto

5 propuestas
Proyecto remoto
Activo hace 7 años

¿Buscas ganar dinero?

Beneficios de presentar ofertas en Freelancer

Fija tu plazo y presupuesto
Cobra por tu trabajo
Describe tu propuesta
Es gratis registrarse y presentar ofertas en los trabajos
5 freelancers están ofertando un promedio de $96 CAD por este trabajo
Avatar del usuario
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 en 1 día
0,0 (0 comentarios)
0,0
0,0
Avatar del usuario
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 en 10 días
0,0 (0 comentarios)
0,0
0,0

Sobre este cliente

Bandera de CANADA
Ottawa, Canada
5,0
47
Forma de pago verificada
Miembro desde oct 19, 2013

Verificación del cliente

¡Gracias! Te hemos enviado un enlace para reclamar tu crédito gratuito.
Algo salió mal al enviar tu correo electrónico. Por favor, intenta de nuevo.
Usuarios registrados Total de empleos publicados
Freelancer ® is a registered Trademark of Freelancer Technology Pty Limited (ACN 142 189 759)
Copyright © 2024 Freelancer Technology Pty Limited (ACN 142 189 759)
Cargando visualización previa
Permiso concedido para Geolocalización.
Tu sesión de acceso ha expirado y has sido desconectado. Por favor, inica sesión nuevamente.