Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- OpenAIRE 1.635 Treffer
- PASCAL Archive 168 Treffer
- BASE 70 Treffer
- Supplemental Index 60 Treffer
- Complementary Index 47 Treffer
-
20 weitere Werte:
- SwePub 23 Treffer
- IEEE Xplore Digital Library 16 Treffer
- GBV Online Contents 15 Treffer
- Networked Digital Library of Theses & Dissertations 12 Treffer
- OpenDissertations 10 Treffer
- British Library Document Supply Centre Inside Serials & Conference Proceedings 10 Treffer
- Applied Science & Technology Source 8 Treffer
- Academic Search Index 6 Treffer
- eScholarship 4 Treffer
- Europeana 3 Treffer
- Gale Academic OneFile 3 Treffer
- eBook Index 2 Treffer
- Digital Access to Scholarship at Harvard (DASH) 1 Treffer
- Gale General OneFile 1 Treffer
- Gale OneFile: Computer Science 1 Treffer
- Gale OneFile: High School Edition 1 Treffer
- Philosopher's Index 1 Treffer
- Gale In Context: Global Issues 1 Treffer
- ERIC 1 Treffer
- FRANCIS Archive 1 Treffer
Art der Quelle
Schlagwort
- computer 1.107 Treffer
- computer.software_genre 1.021 Treffer
- programming language 959 Treffer
- 02 engineering and technology 741 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 728 Treffer
-
45 weitere Werte:
- proof assistant 711 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 658 Treffer
- 020207 software engineering 519 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 503 Treffer
- software 480 Treffer
- theoretical computer science 422 Treffer
- 01 natural sciences 409 Treffer
- mathematical proof 378 Treffer
- business 361 Treffer
- business.industry 361 Treffer
- 0102 computer and information sciences 360 Treffer
- 010201 computation theory & mathematics 360 Treffer
- computer.programming_language 337 Treffer
- correctness 311 Treffer
- formal verification 250 Treffer
- 020201 artificial intelligence & image processing 241 Treffer
- 020204 information systems 193 Treffer
- compiler 190 Treffer
- coq 189 Treffer
- automated theorem proving 187 Treffer
- fos: computer and information sciences 172 Treffer
- informatique 169 Treffer
- exact sciences and technology 168 Treffer
- sciences exactes et technologie 168 Treffer
- type theory 166 Treffer
- applied sciences 163 Treffer
- sciences appliquees 163 Treffer
- computer science; control theory; systems 161 Treffer
- informatique; automatique theorique; systemes 161 Treffer
- soundness 153 Treffer
- semantics (computer science) 152 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 150 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 149 Treffer
- software engineering 145 Treffer
- computer science::logic in computer science 138 Treffer
- functional programming 126 Treffer
- algorithm 122 Treffer
- computer science::programming languages 120 Treffer
- artificial intelligence 119 Treffer
- computer science - logic in computer science 119 Treffer
- computer graphics and computer-aided design 116 Treffer
- logic in computer science (cs.lo) 116 Treffer
- calculus 115 Treffer
- informatique theorique 112 Treffer
- theoretical computing 108 Treffer
Verlag
- hal ccsd 276 Treffer
- springer berlin heidelberg 237 Treffer
- acm 204 Treffer
- springer international publishing 174 Treffer
- association for computing machinery (acm) 135 Treffer
-
45 weitere Werte:
- springer 125 Treffer
- ieee 122 Treffer
- springer nature 97 Treffer
- elsevier 20 Treffer
- elsevier b.v. 18 Treffer
- association for computing machinery 12 Treffer
- escholarship, university of california 11 Treffer
- lavoisier 11 Treffer
- cambridge university press 9 Treffer
- springer-verlag 7 Treffer
- mdpi ag 6 Treffer
- yale university 6 Treffer
- ios press 5 Treffer
- cornell university 4 Treffer
- ohio university / ohiolink 4 Treffer
- princeton, nj : princeton university 4 Treffer
- springer verlag 4 Treffer
- totem publisher, inc. 4 Treffer
- heidelberg; springer 3 Treffer
- heidelberg; springer; c 3 Treffer
- university of kansas 3 Treffer
- berlin; springer; c 2 Treffer
- dalhousie university 2 Treffer
- mcgill university 2 Treffer
- mdpi 2 Treffer
- newsrx llc 2 Treffer
- ohio university honors tutorial college / ohiolink 2 Treffer
- trinity college (dublin, ireland). school of computer science & statistics 2 Treffer
- university of gothenburg 2 Treffer
- university of missouri--columbia 2 Treffer
- berlin; springer 1 Treffer
- eth 1 Treffer
- eth institute of software engineering 1 Treffer
- eth, department of computer science 1 Treffer
- harvard university 1 Treffer
- institutes outside greece 1 Treffer
- internat. begegnungs- und forschungszentrum fur informatik 1 Treffer
- my university 1 Treffer
- open works 1 Treffer
- pdxscholar 1 Treffer
- proquest dissertations & theses 1 Treffer
- saarlandische universitats- und landesbibliothek 1 Treffer
- technical university of kaiserslautern, department of computer science 1 Treffer
- technische universitat kaiserslautern, fachbereich informatik 1 Treffer
- unilu - university of luxembourg 1 Treffer
Publikation
- lecture notes in computer science 104 Treffer
- acm sigplan notices 74 Treffer
- proceedings of the acm on programming languages 50 Treffer
- journal of automated reasoning 42 Treffer
- electronic notes in theoretical computer science 29 Treffer
-
45 weitere Werte:
- theoretical computer science 29 Treffer
- journal of functional programming 25 Treffer
- electronic proceedings in theoretical computer science 20 Treffer
- science of computer programming 14 Treffer
- formal aspects of computing 11 Treffer
- mathematical structures in computer science 9 Treffer
- theorem proving in higher order logics (9783540678632) 8 Treffer
- acm transactions on programming languages and systems 7 Treffer
- types for proofs & programs (9783540744634) 7 Treffer
- entcs: electronic notes in theoretical computer science 6 Treffer
- theorem proving in higher order logics (9783540406648) 6 Treffer
- theorem proving in higher order logics (9783540745907) 6 Treffer
- types for proofs & programs 6 Treffer
- automated reasoning 5 Treffer
- computer aided systems theory - eurocast 2007 4 Treffer
- fundamenta informaticae 4 Treffer
- international journal of performability engineering 4 Treffer
- mathematics 4 Treffer
- acm transactions on computational logic 3 Treffer
- communications of the acm 3 Treffer
- logic for programming, artificial intelligence & reasoning (9783540755586) 3 Treffer
- logical methods in computer science 3 Treffer
- acm transactions on mathematical software 2 Treffer
- advances in computer science - asian 2006. secure software & related issues 2 Treffer
- annals of mathematics and artificial intelligence : amai 2 Treffer
- automated deduction - cade-20 2 Treffer
- computer weekly news 2 Treffer
- functional & logic programming (9783540334385) 2 Treffer
- journal of symbolic computation 2 Treffer
- mathematics (2227-7390) 2 Treffer
- mathematics of program construction (9783540356318) 2 Treffer
- parallel processing letters 2 Treffer
- rewriting, computation & proof 2 Treffer
- theorem proving in higher order logics 2 Treffer
- theorem proving in higher order logics (9783540283720) 2 Treffer
- theorem proving in higher order logics (9783540615873) 2 Treffer
- towards mechanized mathematical assistants 2 Treffer
- typed lambda calculi & applications 2 Treffer
- 31 ; 1 1 Treffer
- 38 ; 1 1 Treffer
- acta didactica napocensia 1 Treffer
- automated deduction in geometry (978-3-540-77355-9) 1 Treffer
- computer science faculty publications and presentations 1 Treffer
- senior independent study theses 1 Treffer
- tools and algorithms for the construction and analysis of systems 1 Treffer
Sprache
Geographischer Bezug
2.098 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2012, Heft 7679, S. 289-304KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2012, Heft 7560, S. 98-113KonferenzZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 7 (2023), Heft POPL, S. 1686-1712Online unknownZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2011, Heft 6785, S. 368-383KonferenzZugriff:
-
In: Journal of Membrane Computing, Jg. 3 (2021-08-24), S. 205-220Online unknownZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2010, Heft 6247, S. 529-543KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2009, Heft 5749, S. 287-303KonferenzZugriff:
-
In: Journal of Automated Reasoning, Jg. 61 (2018-02-27), S. 423-453Online unknownZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2007, Heft 4435, S. 105-119KonferenzZugriff:
-
In: ESOP 2018 (2018-04); 27th European Symposium on Programming (ESOP), from 14-04-2018 to 20-04-2018, 2018Online KonferenzZugriff:
-
2019Online unknownZugriff:
-
In: Mathematics, Jg. 9 (2021-06-14), S. 1377-1377Online unknownSiehe Detailanzeige für VolltextZugriff:
-
In: 2020 IEEE International Conference on Advances in Electrical Engineering and Computer Applications( AEECA), 2020-08-01, S. 982-986KonferenzZugriff:
-
In: TPHOLs 2005 : theorem proving in higher order logics (Oxford, 22-25 August 2005), 2005, S. 245-260KonferenzZugriff:
-
In: Journal of automated reasoning, Jg. 53 (2014), Heft 2, S. 105-127Online academicJournalZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, Jg. 2277 (2002), S. 79-95KonferenzZugriff: