Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Verlag
- springer, cham 126 Treffer
- schloss dagstuhl. leibniz-zent. inform., wadern 99 Treffer
- springer, berlin 78 Treffer
- eptcs, [place of publication not identified] 40 Treffer
- springer, heidelberg 38 Treffer
-
38 weitere Werte:
- springer-verlag, berlin 26 Treffer
- springer, [cham] 22 Treffer
- acm, new york 16 Treffer
- elsevier sci. b. v., amsterdam 15 Treffer
- schloss dagstuhl. leibniz-zentrum fur informatik, wadern 8 Treffer
- easychair, manchester 7 Treffer
- ieee computer soc., los alamitos, ca 5 Treffer
- assoc. comput. linguist., stroudsburg, pa 2 Treffer
- association for computing machinery (acm), new york 2 Treffer
- coll. publ., london 2 Treffer
- eindhoven university of technology, eindhoven 2 Treffer
- ieee, [piscataway], nj 2 Treffer
- iste, london 2 Treffer
- springer, new york 2 Treffer
- assoc. discrete math. theor. comput. sci., nancy 1 Treffer
- assoc. symbol. logic, chicago, il 1 Treffer
- cambridge univ. press, cambridge 1 Treffer
- cambridge university press, cambridge 1 Treffer
- coll. publ., [london] 1 Treffer
- elsevier science b.v., amsterdam 1 Treffer
- elsevier, inc., oxford 1 Treffer
- hermes sci. publ., paris 1 Treffer
- hermes science publications, paris 1 Treffer
- ieee comput. soc. press, los alamitos, ca 1 Treffer
- institute for advanced study (ias), princeton, nj 1 Treffer
- ios, amsterdam 1 Treffer
- iste press, london 1 Treffer
- kluwer acad. publ., dordrecht 1 Treffer
- kyushu univ. fac. math., fukuoka 1 Treffer
- mit press, cambridge, ma 1 Treffer
- north-holland publishing co., amsterdam 1 Treffer
- soc. math. france, paris 1 Treffer
- springer, dordrecht 1 Treffer
- univ. la rioja serv. publ., logrono 1 Treffer
- world sci. publ., hackensack, nj 1 Treffer
- world sci. publ., river edge, nj 1 Treffer
- world scientific publishing co. pte. ltd., hackensack, nj 1 Treffer
- world scientific publishing co., inc., river edge, nj 1 Treffer
Publikation
- journal of automated reasoning 69 Treffer
- interactive theorem proving 53 Treffer
- logical methods in computer science 38 Treffer
- journal of functional programming 31 Treffer
- mathematical structures in computer science. a journal in the applications of categorical, algebraic and geometric methods in computer science 24 Treffer
-
45 weitere Werte:
- theoretical computer science 21 Treffer
- journal of formalized reasoning 19 Treffer
- 12th international conference on interactive theorem proving 12 Treffer
- 10th international conference on interactive theorem proving 10 Treffer
- 13th international conference on interactive theorem proving 10 Treffer
- 14th international conference on interactive theorem proving 10 Treffer
- theorem proving in higher order logics 10 Treffer
- journal of logical and algebraic methods in programming 9 Treffer
- automated reasoning. part ii 8 Treffer
- annals of mathematics and artificial intelligence 7 Treffer
- fundamenta informaticae 7 Treffer
- journal of symbolic computation 7 Treffer
- types for proofs and programs 7 Treffer
- formal aspects of computing 6 Treffer
- functional and logic programming 6 Treffer
- institute of electrical and electronics engineers. transactions on antennas and propagation 6 Treffer
- mathematics of program construction 6 Treffer
- relational and algebraic methods in computer science 6 Treffer
- automated deduction in geometry 5 Treffer
- automated reasoning with analytic tableaux and related methods 5 Treffer
- computer aided verification. part ii 5 Treffer
- journal of the acm 5 Treffer
- logic, language, information, and computation 5 Treffer
- 2nd international conference on formal structures for computation and deduction 4 Treffer
- formal methods: foundations and applications 4 Treffer
- foundations of software science and computation structures 4 Treffer
- information and computation 4 Treffer
- logical foundations of computer science 4 Treffer
- verification, model checking, and abstract interpretation 4 Treffer
- 25th international conference on types for proofs and programs 3 Treffer
- 28th international conference on types for proofs and programs 3 Treffer
- 31st eacsl annual conference on computer science logic 3 Treffer
- 5th international conference on formal structures for computation and deduction 3 Treffer
- 7th international conference on formal structures for computation and deduction 3 Treffer
- applicable algebra in engineering, communication and computing 3 Treffer
- association for computing machinery. transactions on mathematical software 3 Treffer
- computational geometry. theory and applications 3 Treffer
- computer science logic 3 Treffer
- icfp'16---proceedings of the 21st acm sigplan international conference on functional programming 3 Treffer
- journal of logic and computation 3 Treffer
- mathematics in computer science 3 Treffer
- proceedings first international workshop on hammers for type theories 3 Treffer
- proceedings---sixteenth workshop on logical frameworks and meta-languages: theory and practice 3 Treffer
- types for proofs and programs (torino, 1995) 3 Treffer
- 13th international conference on typed lambda calculi and applications 2 Treffer
Sprache
849 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!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!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!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!KonferenzZugriff:
-
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!KonferenzZugriff:
-
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!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!KonferenzZugriff:
-
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!KonferenzZugriff: