Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- algorithmics. computability. computer arithmetics 5 Treffer
- algorithmique. calculabilite. arithmetique ordinateur 5 Treffer
- computer theory 5 Treffer
- informatica teorica 5 Treffer
- language theory and syntactical analysis 4 Treffer
-
45 weitere Werte:
- mathematics 4 Treffer
- mathematiques 4 Treffer
- sciences and techniques of general use 4 Treffer
- sciences et techniques communes 4 Treffer
- theorie des langages et analyse syntaxique 4 Treffer
- automata estado finito 3 Treffer
- automate fini 3 Treffer
- decidabilite 3 Treffer
- decidability 3 Treffer
- decidibilidad 3 Treffer
- finite automaton 3 Treffer
- formal language 3 Treffer
- langage formel 3 Treffer
- lenguaje formal 3 Treffer
- algorithm analysis 2 Treffer
- analisis algoritmo 2 Treffer
- analyse algorithme 2 Treffer
- automata. abstract machines. turing machines 2 Treffer
- automates. machines abstraites. machines de turing 2 Treffer
- automatic proving 2 Treffer
- automatic theorem proving 2 Treffer
- complejidad 2 Treffer
- complexite 2 Treffer
- complexity 2 Treffer
- deduccion 2 Treffer
- deduction 2 Treffer
- demonstration automatique 2 Treffer
- demonstration automatique theoreme 2 Treffer
- demonstration theoreme 2 Treffer
- demostracion automatica 2 Treffer
- demostracion teorema 2 Treffer
- information processing 2 Treffer
- langages de programmation 2 Treffer
- language theory 2 Treffer
- logic and foundations 2 Treffer
- logiciel 2 Treffer
- logique et fondements 2 Treffer
- logique mathematique, fondements, theorie des ensembles 2 Treffer
- mathematical logic, foundations, set theory 2 Treffer
- procesamiento informacion 2 Treffer
- programming languages 2 Treffer
- proof theory and constructive mathematics 2 Treffer
- software 2 Treffer
- teoria lenguaje 2 Treffer
- theorem proving 2 Treffer
Sprache
8 Treffer
-
In: Information processing letters, Jg. 97 (2006), Heft 6, S. 213-218academicJournalZugriff:
-
In: Information processing letters, Jg. 96 (2005), Heft 1, S. 30-35academicJournalZugriff:
-
In: Information processing letters, Jg. 95 (2005), Heft 3, S. 401-408academicJournalZugriff:
-
In: Information processing letters, Jg. 87 (2003), Heft 5, S. 265-270academicJournalZugriff:
-
In: Information processing letters, Jg. 84 (2002), Heft 2, S. 75-85academicJournalZugriff:
-
In: Information processing letters, Jg. 75 (2000), Heft 1-2, S. 1-7Online academicJournalZugriff:
-
In: Information processing letters, Jg. 74 (2000), Heft 5-6, S. 221-227Online academicJournalZugriff:
-
In: Information processing letters, Jg. 67 (1998), Heft 6, S. 277-282Online academicJournalZugriff: