Search Results

Suggested Topics... within your search.

Mathematical logic Mathematical Logic and Formal Languages 1,008 Computer science 949

Computer Science 938 Artificial Intelligence (incl. Robotics) 539 Artificial intelligence 539

more ...

Cover Image

Logic: A Brief Course

by Mundici, Daniele.
Published 2012

Get full text
Electronic

Cover Image

Non solo calcoli Domande e risposte sui perché della matematica /

by Villani, Vinicio.
Published 2012

Get full text
Electronic

Cover Image

Teoria degli Automi Finiti

by Luca, Aldo de.
Published 2013

Get full text
Electronic

Cover Image

Logica Volume 1 Dimostrazioni e modelli al primo ordine /

by Abrusci, Vito Michele.
Published 2014

Get full text
Electronic

Cover Image

Logic and Philosophy of Mathematics in the Early Husserl

by Centrone, Stefania.
Published 2010

Get full text
Electronic

Cover Image

Natural Deduction, Hybrid Systems and Modal Logics

by Indrzejczak, Andrzej.
Published 2010

Get full text
Electronic

Cover Image

Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers /

Published 2010

Get full text
Electronic

Cover Image

Compiler Construction 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 2...

Published 2010

Get full text
Electronic

Cover Image

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers /

Published 2010

Get full text
Electronic

Cover Image

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of S...

Published 2010

Get full text
Electronic

Cover Image

Banach Spaces and Descriptive Set Theory: Selected Topics

by Dodos, Pandelis.
Published 2010

Get full text
Electronic

Cover Image

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings /

Published 2010

Get full text
Electronic

Cover Image

Computational Processing of the Portuguese Language 9th International Conference, PROPOR 2010, Porto Alegre, RS, Brazil, April 27-30, 2010. Proceedings /

Published 2010

Get full text
Electronic

Cover Image

Natural Language Processing and Information Systems 14th International Conference on Applications of Natural Language to Information Systems, NLDB 2009, Saarbrücken, Germany, June...

Published 2010

Get full text
Electronic

Cover Image

Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers /

Published 2010

Get full text
Electronic

Cover Image

Argumentation in Multi-Agent Systems 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers /

Published 2010

Get full text
Electronic

Cover Image

Semantic Processing of Legal Texts Where the Language of Law Meets the Law of Language /

Published 2010

Get full text
Electronic

Cover Image

Computer Science – Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings /

Published 2010

Get full text
Electronic

Cover Image

Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings /

Published 2010

Get full text
Electronic

Cover Image

Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Net...

Published 2010

Get full text
Electronic

1
2
3
4
5
6
7
8
9
10
11
Next »
[61]