Search Results - f.4.1 mathematik logic. logic and constraint programming

Recent Advances in Constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers

Authors: Brahim Hnich Mats Carlsson Francois Fages et al.

Resource Type: eBook.

Subjects: Logic programming--Congresses, Constraint programming (Computer science)--Congresses

Categories: BUSINESS & ECONOMICS / Industries / Computers & Information Technology, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms

The Tractability of Model Checking for LTL: The Good, the Bad, and the Ugly Fragments.

Source: ACM Transactions on Computational Logic; Jan2011, Vol. 12 Issue 2, p13-13:28, 28p

Subject Terms: NP-complete problems, MATHEMATICAL logic, OPERATOR theory, SET theory, COMPUTATIONAL complexity, BOOLEAN algebra, MATHEMATICAL formulas, MATHEMATICAL functions, MATHEMATICAL variables

Functional Pearl: Getting a Quick Fix on Comonads.

Authors: Foner, Kenneth

Source: ACM / SIGPLAN Notices; Dec2015, Vol. 50 Issue 12, p106-117, 12p

Frontiers of Combining Systems : 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings

Authors: Alessandro Armando

Resource Type: eBook.

Subjects: Logic, Symbolic and mathematical--Congresses, Computer science--Congresses

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science

Principles and Practice of Constraint Programming - CP 2010 : 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings

Authors: David Cohen

Resource Type: eBook.

Subjects: Constraint programming (Computer science)--Congr

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms

Principles and Practice of Constraint Programming - CP 2009 : 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings

Authors: Ian P. Gent

Resource Type: eBook.

Subjects: Kongress, Lissabon (2009), Constraint programming (Computer science)--Congr, Constraint-Programmierung--Lissabon <2009>--Ko, Constraint-Programmierung

Categories: COMPUTERS / Programming / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Applied

Constraint Handling Rules : Current Research Topics

Authors: Tom Schrijvers Thom Frühwirth

Resource Type: eBook.

Subjects: Constraint programming (Computer science)

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms

Principles and Practice of Constraint Programming - CP 2006 : 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings

Authors: Frédéric Benhamou

Resource Type: eBook.

Subjects: Software engineering, Computer programming, Compilers (Computer programs), Artificial intelligence, Computer science, Machine theory

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General

Principles and Practice of Constraint Programing-CP 2013 : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings

Authors: Christian Schulte

Resource Type: eBook.

Subjects: Machine theory, Numerical analysis, Algorithms, Computer science, Computer science—Mathematics, Discrete mathematics, Compilers (Computer programs)

Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Compilers, COMPUTERS / Programming / Algorithms, MATHEMATICS / Discrete Mathematics, MATHEMATICS / Numerical Analysis

Principles and Practice of Constraint Programming - CP 2005 : 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005

Authors: Peter van Beek

Resource Type: eBook.

Subjects: Software engineering, Computer programming, Compilers (Computer programs), Artificial intelligence, Computer science, Machine theory

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General

Principles and Practice of Constraint Programming - CP 2002 : 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings

Authors: Pascal Van Hentenryck

Resource Type: eBook.

Subjects: Software engineering, Computer programming, Compilers (Computer programs), Artificial intelligence, Computer science, Machine theory

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General

Principles and Practice of Constraint Programming - CP 2001 : 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings

Authors: Toby Walsh

Resource Type: eBook.

Subjects: Software engineering, Computer programming, Compilers (Computer programs), Artificial intelligence, Computer science, Machine theory

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General

Principles and Practice of Constraint Programming - CP98

Authors: Michael Maher Jean-Francois Puget

Resource Type: eBook.

Subjects: Software engineering, Computer programming, Compilers (Computer programs), Artificial intelligence, Computer science, Machine theory

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General

Programming Logics

Authors: Andrei Voronkov Christoph Weidenbach

Resource Type: eBook.

Subjects: Machine theory, Artificial intelligence, Computer programming, Computer science, Image processing—Digital techniques, Computer vision

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Image Processing, COMPUTERS / Artificial Intelligence / Computer Vision & Pattern Recognition, COMPUTERS / Programming / General

Logic for Programming, Artificial Intelligence, and Reasoning : 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers

Authors: Edmund M. Clarke Andrei Voronkov

Resource Type: eBook.

Subjects: Logic programming--Congresses, Artificial intelligence--Congresses, Automatic theorem proving--Congresses

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

Functional and Logic Programming : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings

Authors: Tom Schrijvers Peter Thiemann

Resource Type: eBook.

Subjects: Functional programming (Computer science)--Congr, Logic programming--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General

Recent Advances in Constraints : 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers

Authors: Angelo Oddi François Fages Francesca Rossi

Resource Type: eBook.

Subjects: Software engineering, Artificial intelligence, Compilers (Computer programs), Computer science, Algorithms, Numerical analysis

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / Algorithms, MATHEMATICS / Numerical Analysis

Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings

Authors: Iliano Cervesato Helmut Veith Andrei Voronkov

Resource Type: eBook.

Subjects: Logic programming--Congresses, Artificial intelligence--Congresses, Automatic theorem proving--Congresses

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

Functional and Logic Programming : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings

Authors: Matthias Blume Naoki Kobayashi Germán Vidal-Oriola

Resource Type: eBook.

Subjects: Functional programming (Computer science)--Congr, Logic programming--Congresses

Categories: COMPUTERS / Programming / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General

Inductive Logic Programming : 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings

Authors: Filip Železný Nada Lavrač

Resource Type: eBook.

Subjects: Artificial intelligence, Computer programming, Machine theory, Algorithms, Data mining

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Data Science / Data Analytics, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms, MATHEMATICS / Probability & Statistics / General