Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Verlag
- springer, berlin 37 Treffer
- springer, cham 20 Treffer
- springer, heidelberg 12 Treffer
- coll. publ., london 11 Treffer
- springer, berlin-new york 8 Treffer
-
35 weitere Werte:
- springer-verlag, berlin 7 Treffer
- elsevier sci. b. v., amsterdam 6 Treffer
- eptcs, [place of publication not identified] 6 Treffer
- coll. publ., [london] 5 Treffer
- springer, [cham] 4 Treffer
- elsevier science b.v., amsterdam 3 Treffer
- ieee computer soc., los alamitos, ca 3 Treffer
- north-holland, amsterdam 3 Treffer
- schloss dagstuhl. leibniz-zent. inform., wadern 3 Treffer
- springer-verlag, berlin-new york 3 Treffer
- acm, new york 2 Treffer
- college publications, london 2 Treffer
- ieee comput. soc. press, los alamitos, ca 2 Treffer
- ieee computer society, los alamitos, ca 2 Treffer
- kyoto university, research institute for mathematical sciences, kyoto 2 Treffer
- plenum, new york 2 Treffer
- academic press, new york-london 1 Treffer
- akad. nauk sssr sibirsk. otdel., vychisl. tsentr, novosibirsk 1 Treffer
- amsterdam univ. press, amsterdam 1 Treffer
- association for computing machinery (acm), new york 1 Treffer
- college publications, [london] 1 Treffer
- csli publ., stanford, ca 1 Treffer
- elsevier, inc., amsterdam 1 Treffer
- ems press, berlin 1 Treffer
- humboldt universitat, sektion mathematik, berlin 1 Treffer
- ieee computer society press, los alamitos, ca 1 Treffer
- ieee, [piscataway], nj 1 Treffer
- math. centrum, amsterdam 1 Treffer
- mit press, cambridge, ma 1 Treffer
- moskov. gos. ped. inst., moscow 1 Treffer
- springer, dordrecht 1 Treffer
- stanford university, center for the study of language and information, stanford, ca 1 Treffer
- univ. press, hyderabad 1 Treffer
- world sci. publ., river edge, nj 1 Treffer
- wydawnictwo uniwersytetu lodzkiego, lodz 1 Treffer
Publikation
- theoretical computer science 15 Treffer
- journal of logic and computation 14 Treffer
- journal of logic, language and information 10 Treffer
- journal of applied non-classical logics 9 Treffer
- information and computation 8 Treffer
-
45 weitere Werte:
- fundamenta informaticae 6 Treffer
- logic journal of the igpl. interest group in pure and applied logics 6 Treffer
- information and control 5 Treffer
- journal of computer and system sciences 5 Treffer
- advances in modal logic. vol. 10 4 Treffer
- advances in modal logic. vol. 6 4 Treffer
- automated reasoning 4 Treffer
- journal of automated reasoning 4 Treffer
- journal of philosophical logic 4 Treffer
- logical methods in computer science 4 Treffer
- studia logica. an international journal for symbolic logic 4 Treffer
- acm transactions on computational logic 3 Treffer
- artificial intelligence 3 Treffer
- computation theory (zaborow, 1984) 3 Treffer
- computer science logic 3 Treffer
- journal of applied logic 3 Treffer
- journal of logical and algebraic methods in programming 3 Treffer
- logic of programs (zurich, 1979) 3 Treffer
- logic, rationality, and interaction 3 Treffer
- logics in artificial intelligence 3 Treffer
- naval research logistics 3 Treffer
- siam journal on computing 3 Treffer
- the journal of symbolic logic 3 Treffer
- 2013 28th annual acm/ieee symposium on logic in computer science (lics 2013) 2 Treffer
- advances in modal logic. vol. 13 2 Treffer
- advances in modal logic. vol. 9 2 Treffer
- annals of operations research 2 Treffer
- annals of pure and applied logic 2 Treffer
- automata, languages and programming (akko, 1981) 2 Treffer
- automated reasoning with analytic tableaux and related methods 2 Treffer
- dynamic logic 2 Treffer
- european journal of operational research 2 Treffer
- foundations of computation theory (borgholm, 1983) 2 Treffer
- ieee transactions on signal processing 2 Treffer
- kyoto university. research institute for mathematical sciences. publications 2 Treffer
- logic and its applications 2 Treffer
- logic and logical philosophy 2 Treffer
- logic, language, information, and computation 2 Treffer
- logics of programs (brooklyn, n.y., 1985) 2 Treffer
- logics of programs (yorktown heights, n.y., 1981) 2 Treffer
- matematicheskaya logika i ee primeneniya 2 Treffer
- matematikos ir informatikos institutas. lietuvos matematiku\ draugija. vilniaus universitetas. lietuvos matematikos rinkinys 2 Treffer
- proceedings of the 8th workshop on logical and semantic frameworks (lsfa) 2 Treffer
- science of computer programming. methods of software design: techniques and applications 2 Treffer
- synthese. an international journal for epistemology, methodology and philosophy of science 2 Treffer
Sprache
346 Treffer
-
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!Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online 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!Online 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:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
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:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online 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:
-
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!Online 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:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online 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: