Výsledky vyhľadávania - 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

Autori: Brahim Hnich Mats Carlsson Francois Fages a ďalší

Typ zdroja: eBook.

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

Kategórie: 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.

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

Predmety: 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.

Autori: Foner, Kenneth

Zdroj: 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

Autori: Alessandro Armando

Typ zdroja: eBook.

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

Kategórie: 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

Autori: David Cohen

Typ zdroja: eBook.

Predmet: Constraint programming (Computer science)--Congr

Kategórie: 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

Autori: Ian P. Gent

Typ zdroja: eBook.

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

Kategórie: COMPUTERS / Programming / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Applied

Constraint Handling Rules : Current Research Topics

Autori: Tom Schrijvers Thom Frühwirth

Typ zdroja: eBook.

Predmet: Constraint programming (Computer science)

Kategórie: 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

Autori: Frédéric Benhamou

Typ zdroja: eBook.

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

Kategórie: 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

Autori: Christian Schulte

Typ zdroja: eBook.

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

Kategórie: 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

Autori: Peter van Beek

Typ zdroja: eBook.

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

Kategórie: 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

Autori: Pascal Van Hentenryck

Typ zdroja: eBook.

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

Kategórie: 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

Autori: Toby Walsh

Typ zdroja: eBook.

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

Kategórie: 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

Autori: Michael Maher Jean-Francois Puget

Typ zdroja: eBook.

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

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General

Programming Logics

Autori: Andrei Voronkov Christoph Weidenbach

Typ zdroja: eBook.

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

Kategórie: 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

Autori: Edmund M. Clarke Andrei Voronkov

Typ zdroja: eBook.

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

Kategórie: 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

Autori: Tom Schrijvers Peter Thiemann

Typ zdroja: eBook.

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

Kategórie: 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

Autori: Angelo Oddi François Fages Francesca Rossi

Typ zdroja: eBook.

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

Kategórie: 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

Autori: Iliano Cervesato Helmut Veith Andrei Voronkov

Typ zdroja: eBook.

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

Kategórie: 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

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

Typ zdroja: eBook.

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

Kategórie: 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

Autori: Filip Železný Nada Lavrač

Typ zdroja: eBook.

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

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