Výsledky vyhledávání - f.4.1 mathematik logic. logic AND constraint programming*

Programming Logics

Autoři: Andrei Voronkov Christoph Weidenbach

Resource Type: eBook.

Témata: 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

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

Autoři: Brahim Hnich Mats Carlsson Francois Fages a další

Resource Type: eBook.

Témata: 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

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

Autoři: Edmund M. Clarke Andrei Voronkov

Resource Type: eBook.

Témata: 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

Autoři: Tom Schrijvers Peter Thiemann

Resource Type: eBook.

Témata: 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

Autoři: Angelo Oddi François Fages Francesca Rossi

Resource Type: eBook.

Témata: 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

Autoři: Iliano Cervesato Helmut Veith Andrei Voronkov

Resource Type: eBook.

Témata: 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

Autoři: Matthias Blume Naoki Kobayashi Germán Vidal-Oriola

Resource Type: eBook.

Témata: 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

Autoři: Filip Železný Nada Lavrač

Resource Type: eBook.

Témata: 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

Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

Autoři: Robert L. Constable Alexandra Silva

Resource Type: eBook.

Témata: Computer science, Machine theory, Algorithms, Software engineering, Compilers (Computer programs), Computer programming

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

A 25-Year Perspective on Logic Programming : Achievements of the Italian Association for Logic Programming, GULP

Autoři: Agostino Dovier Enrico Pontelli

Resource Type: eBook.

Témata: Gruppo Ricercatori e Utenti Logic Programming, Logic programming

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

Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings

Autoři: Nikolaj Bjørner Andrei Voronkov

Resource Type: eBook.

Témata: Software engineering, Artificial intelligence, Computer science, Machine theory, Computer programming, Compilers (Computer programs)

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

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

Témata: NP-complete problems, MATHEMATICAL logic, OPERATOR theory, SET theory, COMPUTATIONAL complexity, BOOLEAN algebra, MATHEMATICAL formulas, MATHEMATICAL functions, MATHEMATICAL variables

Logics in Artificial Intelligence : 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012, Proceedings

Autoři: Luis Fariñas del Cerro Andreas Herzig Jérôme Mengin

Resource Type: eBook.

Témata: Artificial intelligence, Machine theory, Computer science, Computer programming, Information storage and retrieval systems, Image processing—Digital techniques, Computer vision

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

Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings

Autoři: Christian G. Fermüller Andrei Voronkov

Resource Type: eBook.

Témata: 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

Inductive Logic Programming : 12th International Conference, ILP 2002, Sydney, Australia, July 9-11, 2002. Revised Papers

Autoři: Stan Matwin Claude Sammut

Resource Type: eBook.

Témata: Logic programming--Congresses

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

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning : Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday

Autoři: Marcello Balduccini Tran Cao Son

Resource Type: eBook.

Témata: Artificial intelligence, Machine theory, Computer programming

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

Logical Foundations of Computer Science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Autoři: Sergei Artemov Anil Nerode

Resource Type: eBook.

Témata: Logic, Computer science--Congresses, Computer logic--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Compilers, COMPUTERS / Logic Design, MATHEMATICS / Logic

Computer Science Logic : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings

Autoři: Anuj Dawar Helmut Veith

Resource Type: eBook.

Témata: Computer science, Computer programming, Software engineering, Machine theory, Artificial intelligence

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

Logic-Based Program Synthesis and Transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

Autoři: Germán Vidal

Resource Type: eBook.

Témata: Conference proceedings, Logic programming--Congresses, Program transformation (Computer programming)--C, Computational complexity--Congresses, Computational complexity, Logic programming, Program transformation (Computer programming)

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

Logic Based Program Synthesis and Transformation : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers

Autoři: M. Leuschel

Resource Type: eBook.

Témata: Logic programming--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / General, NON-CLASSIFIABLE