Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Logic programming --- Nonmonotonic reasoning --- Non-monotonic reasoning --- Reasoning --- Programació lògica --- Raonament no monòton

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The job of the constraint programmer is to use mathematical constraints to model real world constraints and objects. In this book, Kim Marriott and Peter Stuckey provide the first comprehensive introduction to the discipline of constraint programming and, in particular, constraint logic programming. The book covers the necessary background material from artificial intelligence, logic programming, operations research, and mathematical programming. Topics discussed range from constraint-solving techniques to programming methodologies for constraint programming languages. Because there is not yet a universally used syntax for constraint logic programming languages, the authors present the programs in a way that is independent of any existing programming language. Practical exercises cover how to use the book with a number of existing constraint languages.

Logic programming. --- Constraint programming (Computer science) --- Logic programming --- Engineering & Applied Sciences --- Computer Science --- Computer programming --- COMPUTER SCIENCE/Programming Languages --- Programació lògica. --- Programació per restriccions (Informàtica) --- Programació per restriccions --- Programació (Ordinadors)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

High performance computing. --- Microprogramming. --- Computer programming. --- Càlcul intensiu (Informàtica) --- Programació (Ordinadors) --- Programació d'ordinadors --- Programació (Informàtica) --- Algorismes --- Informàtica --- Models matemàtics --- Enginyeria de programari --- Estructures de dades (Informàtica) --- Manteniment del programari --- Programació de robots --- Programació en Internet --- Programació evolutiva (Informàtica) --- Programació lògica --- Programació orientada a l'objecte (Informàtica) --- Programació per restriccions --- Programació en paral·lel (Informàtica) --- Programes d'ordinador --- Càlcul d'alt rendiment (Informàtica) --- Computació d'alt rendiment --- HPC (Informàtica) --- Informàtica d'alt rendiment --- Superinformàtica --- Computació distribuïda --- Processament en paral·lel (Ordinadors) --- Superordinadors --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer programming --- HPC (Computer science) --- Cyberinfrastructure --- Supercomputers --- Programming

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

High performance computing. --- Microprogramming. --- Computer programming. --- Càlcul intensiu (Informàtica) --- Programació (Ordinadors) --- Programació d'ordinadors --- Programació (Informàtica) --- Algorismes --- Informàtica --- Models matemàtics --- Enginyeria de programari --- Estructures de dades (Informàtica) --- Manteniment del programari --- Programació de robots --- Programació en Internet --- Programació evolutiva (Informàtica) --- Programació lògica --- Programació orientada a l'objecte (Informàtica) --- Programació per restriccions --- Programació en paral·lel (Informàtica) --- Programes d'ordinador --- Càlcul d'alt rendiment (Informàtica) --- Computació d'alt rendiment --- HPC (Informàtica) --- Informàtica d'alt rendiment --- Superinformàtica --- Computació distribuïda --- Processament en paral·lel (Ordinadors) --- Superordinadors --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer programming --- HPC (Computer science) --- Cyberinfrastructure --- Supercomputers --- Programming

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Lògica matemàtica --- Lògica formal --- Lògica simbòlica --- Lògica simbòlica i matemàtica --- Lògica universal --- Logística (Filosofia) --- Matemàtica --- Atzar --- Càlcul lambda --- Categories (Matemàtica) --- Decidibilitat (Lògica matemàtica) --- Funcions recursives --- Independència (Matemàtica) --- Lògica algebraica --- Lògica borrosa --- Lògica combinatòria --- Lògica de primer ordre --- Lògica informàtica --- Matemàtica constructiva --- Metodologia de la ciència --- Nombres cardinals --- Pragmàtica (Lingüística) --- Probabilitats --- Semàntica (Filosofia) --- Teoria axiomàtica de conjunts --- Teorema de Gödel --- Teoria de la commutació --- Teoria de la prova --- Teoria de la recursió --- Teoria de màquines --- Teoria de models --- Teoria de tipus --- Àlgebra abstracta --- Metamatemàtica --- Programació lògica --- Sil·logisme --- Teoria de conjunts --- Logic, Symbolic and mathematical. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Lògica difusa --- Lògica matemàtica.