Výsledky vyhľadávania - f.4.1 mathematik logic. logic and constraint programming*

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

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

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

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

Autori: Robert L. Constable Alexandra Silva

Typ zdroja: eBook.

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

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

Autori: Agostino Dovier Enrico Pontelli

Typ zdroja: eBook.

Predmet: Gruppo Ricercatori e Utenti Logic Programming, Logic programming

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

Autori: Nikolaj Bjørner Andrei Voronkov

Typ zdroja: eBook.

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

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

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

Autori: Luis Fariñas del Cerro Andreas Herzig Jérôme Mengin

Typ zdroja: eBook.

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

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

Autori: Christian G. Fermüller 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

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

Autori: Stan Matwin Claude Sammut

Typ zdroja: eBook.

Predmet: Logic programming--Congresses

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

Autori: Marcello Balduccini Tran Cao Son

Typ zdroja: eBook.

Predmet: Artificial intelligence, Machine theory, Computer programming

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

Autori: Sergei Artemov Anil Nerode

Typ zdroja: eBook.

Predmet: Logic, Computer science--Congresses, Computer logic--Congresses

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

Autori: Anuj Dawar Helmut Veith

Typ zdroja: eBook.

Predmet: Computer science, Computer programming, Software engineering, Machine theory, Artificial intelligence

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

Autori: Germán Vidal

Typ zdroja: eBook.

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

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

Autori: M. Leuschel

Typ zdroja: eBook.

Predmet: Logic programming--Congresses

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Programming / General, NON-CLASSIFIABLE