Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- GBV Online Contents 9 Treffer
- SciELO 4 Treffer
- RAMBI 4 Treffer
- ProjectMUSE 4 Treffer
- NARCIS 4 Treffer
-
32 weitere Werte:
- Knovel 4 Treffer
- IndianJournals.com 4 Treffer
- Idunn.no 4 Treffer
- IBISWorld 4 Treffer
- CogPrints 4 Treffer
- British Standards Online 4 Treffer
- LUNA Commons 4 Treffer
- BrillOnline Primary Source 2 Treffer
- SAGE Business Researcher 2 Treffer
- Routledge Handbooks Online 2 Treffer
- PsychiatryOnline 2 Treffer
- Orlando: Women's Writing in the British Isles, from the Beginnings to the Present 2 Treffer
- McGraw-Hill eBook Library 2 Treffer
- Teen Health & Wellness 2 Treffer
- ICPSR Data Archive 2 Treffer
- First Research 2 Treffer
- Drama Online 2 Treffer
- Classiques Garnier Numerique: Patrologia Graeca 2 Treffer
- BazTech 2 Treffer
- British Library EThOS 2 Treffer
- VIDAL Consult 1 Treffer
- ASTM Compass 1 Treffer
- Bloom's Literature 1 Treffer
- dblp computer science bibliography 1 Treffer
- E-knihovna 1 Treffer
- Elgaronline 1 Treffer
- FRANCIS Archive 1 Treffer
- PASCAL Archive 1 Treffer
- Politics Trove 1 Treffer
- Universalis 1 Treffer
- Westlaw UK 1 Treffer
- ABC-CLIO eBooks 1 Treffer
Art der Quelle
Schlagwort
- artificial intelligence (incl. robotics) 7 Treffer
- computer science 7 Treffer
- mathematical logic and formal languages 6 Treffer
- mathematical logic and foundations 6 Treffer
- symbolic and algebraic manipulation 6 Treffer
-
45 weitere Werte:
- dependent type theory 2 Treffer
- floating-point arithmetic 2 Treffer
- interactive theorem proving 2 Treffer
- iris 2 Treffer
- separation logic 2 Treffer
- 03f55 1 Treffer
- 03f60 1 Treffer
- 03h15 1 Treffer
- abstract interpretation 1 Treffer
- abstracts 1 Treffer
- adders 1 Treffer
- animal 1 Treffer
- architecture 1 Treffer
- arrays 1 Treffer
- automated theorem proving 1 Treffer
- biotechnology 1 Treffer
- bouc 1 Treffer
- calendar 1 Treffer
- calendrier 1 Treffer
- chevre 1 Treffer
- cholesky decomposition 1 Treffer
- cock 1 Treffer
- coenzyme q 1 Treffer
- cognitive problems, arts and sciences, folk traditions, folklore 1 Treffer
- completeness 1 Treffer
- comptine 1 Treffer
- computer science, general 1 Treffer
- concurrency 1 Treffer
- conte 1 Treffer
- conte facetieux 1 Treffer
- conte merveilleux 1 Treffer
- corpus 1 Treffer
- data abstraction 1 Treffer
- decidability 1 Treffer
- dependent types 1 Treffer
- devil 1 Treffer
- devinette 1 Treffer
- diable 1 Treffer
- discrete geometry 1 Treffer
- dot 1 Treffer
- educational institutions 1 Treffer
- espace 1 Treffer
- ethnologie 1 Treffer
- ethnology 1 Treffer
- facetie 1 Treffer
Verlag
Publikation
- journal of automated reasoning 6 Treffer
- mathematical structures in computer science 2 Treffer
- annales societatis mathematicae polonae. series 4: fundamenta informaticae 1 Treffer
- annals of mathematics and artificial intelligence : amai 1 Treffer
- applied microbiology and biotechnology 1 Treffer
-
5 weitere Werte:
- ieee transactions on computer-aided design of integrated circuits and systems : cad : a publication of the ieee circuits and systems society 1 Treffer
- lemouzi 1 Treffer
- logical methods in computer science 1 Treffer
- metody informatyki stosowanej 1 Treffer
- proceedings of the acm on programming languages 1 Treffer
Sprache
Geographischer Bezug
15 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff:
-
In: Mathematical structures in computer science, Jg. 31 (2022-03-09), Heft SI: 10Online serialPeriodicalZugriff:
-
In: Logical Methods in Computer Science, Jg. 17 (2021-08-21), Heft 3Online serialPeriodicalZugriff:
-
In: Metody Informatyki StosowanejOnline serialPeriodicalZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 4 (2020), Heft ICFPOnline serialPeriodicalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online serialPeriodicalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff:
-
In: Annales Societatis Mathematicae Polonae. Series 4: Fundamenta InformaticaeOnline serialPeriodicalZugriff:
-
In: Lemouzi, 1991, Heft 118serialPeriodicalZugriff: