Skip to content
Εθνική Βιβλιοθήκη


National Library of Greece

Advanced
  • Your Account
  • Log Out
  • Login
  • Language
    • Ελληνικά
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Català
    • Euskara
    • Русский
    • čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
Advanced
  • Search:
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 ...
Computer logic 496 Logics and Meanings of Programs 496 Mathematics 403
Software engineering 387 Computers 374 Software Engineering 347
Programming Languages, Compilers, Interpreters 317 Programming languages (Electronic computers) 317 Mathematical Logic and Foundations 289
Computer programming 256 Programming Techniques 256 Computation by Abstract Devices 241
Algorithms 235 Algorithm Analysis and Problem Complexity 229 Theory of Computation 156
Discrete Mathematics in Computer Science 131 Information Storage and Retrieval 112 Information storage and retrieval 112
Data Mining and Knowledge Discovery 104 Data mining 104 Database Management 99
Database management 99 Software Engineering/Programming and Operating Systems 98 Symbolic and Algebraic Manipulation 91
less ...
Showing 1 - 20 of 1,203 for search: '', query time: 0.12s
Cover Image
Logic: A Brief Course
by Mundici, Daniele.
Published 2012
Call Number: Loading...
Located: Loading...
Get full text
Electronic
Preview
Preview
Preview
Save to List
Saved in:
Cover Image
Non solo calcoli Domande e risposte sui perché della matematica /
by Villani, Vinicio.
Published 2012
Call Number: Loading...
Located: Loading...
Get full text
Electronic
Preview
Preview
Preview
Save to List
Saved in:
Cover Image
Teoria degli Automi Finiti
by Luca, Aldo de.
Published 2013
Call Number: Loading...
Located: Loading...
Get full text
Electronic
Preview
Preview
Preview
Save to List
Saved in:
Cover Image
Logica Volume 1 Dimostrazioni e modelli al primo ordine /
by Abrusci, Vito Michele.
Published 2014
Call Number: Loading...
Located: Loading...
Get full text
Electronic
Preview
Preview
Preview
Save to List
Saved in:
Cover Image
Logic and Philosophy of Mathematics in the Early Husserl
by Centrone, Stefania.
Published 2010
Call Number: Loading...
Located: Loading...
Get full text
Electronic
Preview
Preview
Preview
Save to List
Saved in:
Cover Image
Natural Deduction, Hybrid Systems and Modal Logics
by Indrzejczak, Andrzej.
Published 2010
Call Number: Loading...
Located: Loading...
Get full text
Electronic
Preview
Preview
Preview
Save to List
Saved in:
Cover Image
Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers /
Published 2010
Call Number: Loading...
Located: Loading...
Get full text
Electronic
Preview
Preview
Preview
Save to List
Saved in:
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
Call Number: Loading...
Located: Loading...
Get full text
Electronic
Preview
Preview
Preview
Save to List
Saved in:
Cover Image
Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers /
Published 2010
Call Number: Loading...
Located: Loading...
Get full text
Electronic
Preview
Preview
Preview
Save to List
Saved in:
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
Call Number: Loading...
Located: Loading...
Get full text
Electronic
Preview
Preview
Preview
Save to List
Saved in:
Cover Image
Banach Spaces and Descriptive Set Theory: Selected Topics
by Dodos, Pandelis.
Published 2010
Call Number: Loading...
Located: Loading...
Get full text
Electronic
Preview
Preview
Preview
Save to List
Saved in:
Cover Image
Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings /
Published 2010
Call Number: Loading...
Located: Loading...
Get full text
Electronic
Preview
Preview
Preview
Save to List
Saved in:
Cover Image
Computational Processing of the Portuguese Language 9th International Conference, PROPOR 2010, Porto Alegre, RS, Brazil, April 27-30, 2010. Proceedings /
Published 2010
Call Number: Loading...
Located: Loading...
Get full text
Electronic
Preview
Preview
Preview
Save to List
Saved in:
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
Call Number: Loading...
Located: Loading...
Get full text
Electronic
Preview
Preview
Preview
Save to List
Saved in:
Cover Image
Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers /
Published 2010
Call Number: Loading...
Located: Loading...
Get full text
Electronic
Preview
Preview
Preview
Save to List
Saved in:
Cover Image
Argumentation in Multi-Agent Systems 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers /
Published 2010
Call Number: Loading...
Located: Loading...
Get full text
Electronic
Preview
Preview
Preview
Save to List
Saved in:
Cover Image
Semantic Processing of Legal Texts Where the Language of Law Meets the Law of Language /
Published 2010
Call Number: Loading...
Located: Loading...
Get full text
Electronic
Preview
Preview
Preview
Save to List
Saved in:
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
Call Number: Loading...
Located: Loading...
Get full text
Electronic
Preview
Preview
Preview
Save to List
Saved in:
Cover Image
Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings /
Published 2010
Call Number: Loading...
Located: Loading...
Get full text
Electronic
Preview
Preview
Preview
Save to List
Saved in:
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
Call Number: Loading...
Located: Loading...
Get full text
Electronic
Preview
Preview
Preview
Save to List
Saved in:
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • Next »
  • [61]
Search Tools: Get RSS Feed — Email this Search — Save Search

Narrow Search

Remove Filters
Suggested Topics: Mathematical logic
Format
1,203 Electronic
Call Number
1,090 Q - Science 56 B - Philosophy, Psychology, Religion 26 T - Technology 19 P - Language and Literature 8 H - Social Science 2 G - Geography, Anthropology, Recreation more ... 2 L - Education less ...
Author
4 Gabbay, Dov M. 3 Andreescu, Titu 3 Dalen, Dirk van 2 Atten, Mark van 2 Bridges, Douglas S. 2 Carnielli, Walter more ... 2 Crespi Reghizzi, Stefano 2 David, René 2 Doberkat, Ernst-Erich 2 Fine, Benjamin 2 Fried, Michael D. 2 Grätzer, George 2 Li, Wei 2 Makinson, David 2 Mazzola, Guerino 2 Mundici, Daniele 2 O’Regan, Gerard 2 Rautenberg, Wolfgang 2 Soifer, Alexander 2 Wallis, W.D. 2 Zermelo, Ernst 2 Ó Conchúir, Deasún 1 Abrusci, Vito Michele 1 Agazzi, Evandro 1 Aigner, Martin 1 Albeverio, Sergio 1 Alexandru, Andrei 1 Andrew, Alex M. 1 Apt, Krzysztof R. 1 Atanassov, Krassimir T. less ...
Language
1,194 English 8 Italian 1 French
Year of Publication

Search Options

  • Search History
  • Advanced Search

Find More

  • Browse the Catalog
  • Browse Alphabetically

Need Help?

  • Search Tips


Heal Link

 

Loading...