From logic to logic programming

From logic to logic programming

Enregistré dans:

Détails bibliographiques
Auteur principal:	Doets, Kees. (Auteur)
Support:	E-Book
Langue:	Anglais
Publié:	Cambridge (Mass.) : MIT Press, 1994.
Sujets:	Programmation logique. Logic programming.
Autres localisations:	Voir dans le Sudoc
Accès en ligne:	Accès à l'E-book

Documents similaires

Three Views of Logic : Mathematics, Philosophy, and Computer Science
par: Loveland, Donald W..
Publié: (2014)

Fuzzy Logic for Embedded Systems Applications
par: Ibrahim, Ahmad.

Programmable Logic Controllers
par: Bolton, W..

Approximate dynamic programming : solving the curses of dimensionality
par: Powell, Warren Buckler (1955-).
Publié: (2011)

Approximate dynamic programming : solving the curses of dimensionality
par: Powell, Warren Buckler (1955-).

OpenCL programming by example : a comprehensive guide on OpenCL programming with examples
par: Banger, Ravishekhar.
Publié: (2013)

Data Sciences: From First-Order Logic to the Web : Inaugural lecture given on Thursday 8 March 2012
par: Abiteboul, Serge (1953-....).

Foundations of logic programming
par: Lloyd, J. W.
Publié: (1987)

Inductive logic programming
par: Muggleton, Stephen.
Publié: (1992)

Digital Logic Design
par: Holdsworth, Brian (19..-....).

Python 3 object oriented programming : harness the power of Python 3 objects
par: Phillips, Dusty.
Publié: (2010)

Programming Arduino with LabVIEW : build interactive and fun learning projects with Arduino using LabVIEW
par: Schwartz, Marco (19..-....; spécialiste en génie électrique).
Publié: (2015)

Constraint logic programming : selected research
Publié: (1993)

Learning ROS for robotics programming : your one-stop guide to the Robot Operating System
par: Fernández, Enrique.
Publié: (2015)

Learning robotics using Python : design, simulate, program, and prototype an interactive autonomous mobile robot from scratch with the help of Python, ROS, and Open-CV!
par: Lentin, Joseph.
Publié: (2015)

The logician and the engineer : how George Boole and Claude Shannon created the information age
par: Nahin, Paul J. (1940-....).
Publié: (2011)

Raspberry Pi user guide
par: Upton, Eben.

Hands-On Design Patterns and Best Practices with Julia : Proven solutions to common problems in software design for Julia 1.x
par: Kwong, Tom.
Publié: (2020)

Julia 1.0 Programming Complete Reference Guide : Discover Julia, a high-performance language for technical computing
par: Balbaert, Ivo (19..-....).
Publié: (2019)

Building modern serverless web APIs : Develop Microservices and Implement Serverless : Applications with .NET Core 3.1 and AWS lambda
par: Sarkar, Tanmoy (19..-....).

Mastering embedded Linux programming : harness the power of Linux to create versatile and robust embedded solutions
par: Simmonds, Chris (19..-..).
Publié: (2015)

Oracle database programming using Java and web services
par: Mensah, Kuassi (19..-....).
Publié: (2011)

Elixir cookbook : unleash the full power of programming in Elixir with over 60 incredibly effective recipes
par: Pereira, Paulo A..
Publié: (2015)

The birth of model theory : Löwenheim's theorem in the frame of the theory of relatives
par: Badesa, Calixto (19..-....).
Publié: (2009)

Computing with logic : logic programming with Prolog
par: Maier, David, 1953-
Publié: (1988)

Practical Maya programming with Python : unleash the power of Python in Maya and unlock your creativity
par: Galanakis, Robert.
Publié: (2014)

Heterogeneous computing with OpenCL 2.0
Publié: (2015)

Learning robotics using Python : design, simulate, program, and prototype an autonomous mobile robot using ROS, OpenCV, PCL, and Python
par: Lentin, Joseph.
Publié: (2018)

Programming mathematics using MATLAB
par: Oberbroeckling, Lisa A..
Publié: (2020)

PIC Microcontrollers An Introduction to Microelectronics
par: Bates, Martin P..

Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics, and Language
par: Torza, Alessandro.

Getting started with Python and Raspberry Pi : learn to design and implement reliable Python applications on Raspberry Pi, using a range of external libraries, the Raspberry Pi's GPIO port, and the camera module
par: Nixon, Dan.
Publié: (2015)

MATLAB® : a practical introduction to programming and problem solving
par: Attaway, Stormy.

Essential algorithms : a practical approach to computer algorithms using Python and C#
par: Stephens, Rod (1961-....).

Learning scala programming : object-oriented programming meets functional reactive to create scalable and concurrent programs
par: Sharma, Vikash (19..-....).
Publié: (2018)

An Introduction to parallel programming
par: Pacheco, Peter S. (19..-....).
Publié: (2021)

Android application programming with OpenCV : build Android apps to capture, manipulate, and track objects in 2D and 3D
par: Howse, Joseph.
Publié: (2013)

Learning processing : a beginner's guide to programming images, animation, and interaction
par: Shiffman, Daniel (19..-....).
Publié: (2015)

Le petit Python orienté objet : programmation orientée objet avec Python 3
par: Gomez, Richard (19..-....).
Publié: (2022)

OpenCV for secret agents : use OpenCV in six secret projects to augment your home, car, phone, eyesight, and any photo or drawing
par: Howse, Joseph.
Publié: (2015)

Université catholique de l'Ouest - Bibliothèques - 3 place André Leroy - BP10808 - 49008 ANGERS Cedex 1