Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- MathSciNet via EBSCOhost 15 Treffer
- OpenAIRE 11 Treffer
- PASCAL Archive 6 Treffer
- Scopus® 5 Treffer
- wiso 4 Treffer
-
8 weitere Werte:
- Science Citation Index Expanded 3 Treffer
- ScienceDirect 3 Treffer
- Academic Search Index 2 Treffer
- Applied Science & Technology Source 2 Treffer
- British Library Document Supply Centre Inside Serials & Conference Proceedings 1 Treffer
- Gale General OneFile 1 Treffer
- Gale OneFile: Computer Science 1 Treffer
- Supplemental Index 1 Treffer
Art der Quelle
Schlagwort
- mathematics 13 Treffer
- general computer science 11 Treffer
- theoretical computer science 11 Treffer
- computer science(all) 9 Treffer
- modal logic 9 Treffer
-
45 weitere Werte:
- discrete mathematics 8 Treffer
- dynamic logic (modal logic) 8 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 8 Treffer
- bisimulation 7 Treffer
- computer science 7 Treffer
- applied sciences 6 Treffer
- computer science; control theory; systems 6 Treffer
- exact sciences and technology 6 Treffer
- informatique 6 Treffer
- informatique; automatique theorique; systemes 6 Treffer
- sciences appliquees 6 Treffer
- sciences exactes et technologie 6 Treffer
- computer science::logic in computer science 5 Treffer
- informatique theorique 5 Treffer
- propositional variable 5 Treffer
- theoretical computing 5 Treffer
- calculus 4 Treffer
- parallel composition 4 Treffer
- propositional dynamic logic 4 Treffer
- well-formed formula 4 Treffer
- zeroth-order logic 4 Treffer
- autoepistemic logic 3 Treffer
- computer theory 3 Treffer
- decidability 3 Treffer
- fixed points 3 Treffer
- informatica teorica 3 Treffer
- logica proposicional 3 Treffer
- logique propositionnelle 3 Treffer
- mathematische logik 3 Treffer
- programmation 3 Treffer
- programming 3 Treffer
- propositional calculus 3 Treffer
- propositional logic 3 Treffer
- algebra 2 Treffer
- atomic formula 2 Treffer
- binary number system 2 Treffer
- -calculus 2 Treffer
- combinatorics 2 Treffer
- determinism 2 Treffer
- determinisme 2 Treffer
- formale logik 2 Treffer
- genie logiciel 2 Treffer
- intermediate logic 2 Treffer
- logica modal 2 Treffer
- logiciel 2 Treffer
Verlag
Sprache
54 Treffer
-
In: Theoretical computer science, Jg. 685 (2017), S. 23-45Online serialPeriodical
-
In: Theoretical computer science, Jg. 161 (1996), Heft 1-2, S. 109-122Online academicJournal
-
In: Theoretical Computer Science, Jg. 685 (2017-07-01), S. 23-45Online unknownZugriff:
-
In: Theoretical computer science, Jg. 87 (1991), Heft 1, S. 189-202Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Theoretical Computer Science, Jg. 87 (1991-09-01), Heft 1, S. 189-202Online unknownZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!NachschlagewerkZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Theoretical Computer Science, Jg. 166 (1996-10-20), S. 12-12Online unknownZugriff:
-
In: Theoretical Computer Science, Jg. 61 (1988-11-01), S. 259-277Online unknownZugriff:
-
In: Theoretical Computer Science, , Heft 1-2, S. 109-122Online unknownZugriff:
-
In: Theoretical Computer Science, Jg. 14 (1981), S. 113-118Online unknownZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Theoretical computer science, Jg. 166 (1996), Heft 1-2, S. 173-202Online academicJournal
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Theoretical Computer Science, Jg. 338 (2005-06-10), Heft 1-3, S. 64-95Online academicJournal
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff: