Search Results - 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

Authors: Balder D. ten Cate Henk W. Zeevat

Resource Type: eBook.

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

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

Authors: Franz Winkler

Resource Type: eBook.

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

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

Authors: Maria Bielikova Gerhard Friedrich Georg Gottlob et al.

Resource Type: eBook.

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

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

Authors: Arnon Avron Nachum Dershowitz Alexander Rabinovich

Resource Type: eBook.

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

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

Authors: Dima Grigoriev John Harrison Edward A. Hirsch

Resource Type: eBook.

Subjects: Computer science--Congresses, Information theory

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

Authors: Rusins Freivalds

Resource Type: eBook.

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

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

Authors: Hans Ulrich Simon Gábor Lugosi

Resource Type: eBook.

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

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

Intelligent Computer Mathematics

Authors: Jacques Carette David Aspinall Christoph Lange et al.

Resource Type: eBook.

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

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