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

Logic, Language, and Computation : 6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised Selected Papers

Autori: Balder D. ten Cate Henk W. Zeevat

Typ zdroja: eBook.

Predmet: Logic, Artificial intelligence, Machine theory, Natural language processing (Computer science)

Kategórie: PHILOSOPHY / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Speech & Audio Processing

Algebraic Informatics : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011, Proceedings

Autori: Franz Winkler

Typ zdroja: eBook.

Predmet: Computer science--Congresses, Software engineering--Congresses, Logic design--Congresses, Computational complexity--Congresses, Algebra--Data processing--Congresses

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Algebra / General, MATHEMATICS / Applied, MATHEMATICS / Discrete Mathematics

SOFSEM 2012: Theory and Practice of Computer Science : 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012, Proceedings

Autori: Maria Bielikova Gerhard Friedrich Georg Gottlob a ďalší

Typ zdroja: eBook.

Predmet: Algorithms, Software engineering, Information retrieval, Computer architecture, Computer science—Mathematics, Discrete mathematics, Computer networks, Database management

Kategórie: COMPUTERS / Programming / Algorithms, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Discrete Mathematics

Pillars of Computer Science : Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

Autori: Arnon Avron Nachum Dershowitz Alexander Rabinovich

Typ zdroja: eBook.

Predmet: Computer science, Machine theory, Algorithms, Computer science—Mathematics, Artificial intelligence

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Algorithms, MATHEMATICS / Applied

Computer Science -- Theory and Applications : First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings

Autori: Dima Grigoriev John Harrison Edward A. Hirsch

Typ zdroja: eBook.

Predmet: Computer science--Congresses, Information theory

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Algorithms, COMPUTERS / Data Science / Bioinformatics, MATHEMATICS / Applied

Fundamentals of Computation Theory : 13th International Symposium, FCT 2001, Riga, Latvia, August 22-24, 2001. Proceedings

Autori: Rusins Freivalds

Typ zdroja: eBook.

Predmet: Computer science, Computer programming, Algorithms, Machine theory, Computer graphics

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / Computer Graphics, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms

Learning Theory : 19th Annual Conference on Learning Theory, COLT 2006, Pittsburgh, PA, USA, June 22-25, 2006, Proceedings

Autori: Hans Ulrich Simon Gábor Lugosi

Typ zdroja: eBook.

Predmet: Artificial intelligence, Computer science, Algorithms, Machine theory

Kategórie: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Programming / Algorithms

Intelligent Computer Mathematics

Autori: Jacques Carette David Aspinall Christoph Lange a ďalší

Typ zdroja: eBook.

Predmet: Computer science—Mathematics, Artificial intelligence, Machine theory, Natural language processing (Computer science), Information storage and retrieval systems

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / System Administration / Storage & Retrieval, COMPUTERS / Speech & Audio Processing, MATHEMATICS / Algebra / General, MATHEMATICS / Applied