Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- BASE 32 Treffer
- GBV Online Contents 15 Treffer
- Ambrose Digital 12 Treffer
- Torrossa 12 Treffer
- Sustainable Organization Library (SOL) 12 Treffer
-
18 weitere Werte:
- Openedition.org 12 Treffer
- Networked Digital Library of Theses & Dissertations 12 Treffer
- McGraw-Hill Medical 12 Treffer
- LearningExpress Library 12 Treffer
- Kotar Digital Library 12 Treffer
- Janes Terrorism & Insurgency Centre (JTIC) - Terrorism Events 12 Treffer
- Janes Defence Equipment & Technology (JDET) – Sea 12 Treffer
- Janes Defence Equipment & Technology (JDET) – Land 12 Treffer
- Janes Defence Equipment & Technology (JDET) - C4ISR & Mission Systems 12 Treffer
- Janes Defence Equipment & Technology (JDET) - Air & Space 12 Treffer
- Janes Chemical, Biological, Radiological & Nuclear Assessments (JCBRN) - Intelligence Centre 12 Treffer
- Films on Demand 12 Treffer
- Europeana 12 Treffer
- DieselNet Technology Guide 12 Treffer
- Beeld en Geluid op school 12 Treffer
- Janes Military & Security Assessments (JMSA) - Military Capabilities 12 Treffer
- OpenDissertations 10 Treffer
- Digital Access to Scholarship at Harvard (DASH) 1 Treffer
Art der Quelle
Schlagwort
- coq 19 Treffer
- artificial intelligence (incl. robotics) 12 Treffer
- mathematical logic and formal languages 10 Treffer
- mathematical logic and foundations 10 Treffer
- symbolic and algebraic manipulation 10 Treffer
-
45 weitere Werte:
- formal verification 9 Treffer
- mathematics 7 Treffer
- programming languages 6 Treffer
- software verification 6 Treffer
- verification 6 Treffer
- formal methods 4 Treffer
- interactive theorem proving 4 Treffer
- logic 4 Treffer
- machine learning 4 Treffer
- natural language processing 4 Treffer
- semantic parsing 4 Treffer
- computer science and engineering 3 Treffer
- floating-point arithmetic 3 Treffer
- proof assistants 3 Treffer
- theorem proving 3 Treffer
- artificial intelligence 2 Treffer
- attention 2 Treffer
- automatic verification 2 Treffer
- coinduction 2 Treffer
- compiler 2 Treffer
- compilers 2 Treffer
- computer science, general 2 Treffer
- computer security 2 Treffer
- control theory 2 Treffer
- deductive 2 Treffer
- deep learning 2 Treffer
- domain theory 2 Treffer
- engineering 2 Treffer
- formal proof 2 Treffer
- generalization error 2 Treffer
- haskell 2 Treffer
- hybrid systems 2 Treffer
- induction 2 Treffer
- interactive theorem provers 2 Treffer
- latex 2 Treffer
- lstm 2 Treffer
- mathematics, general 2 Treffer
- modal logic 2 Treffer
- monad 2 Treffer
- neural networks 2 Treffer
- ph.d 2 Treffer
- ph.d. trinity college dublin 2 Treffer
- phil 2 Treffer
- policy iteration 2 Treffer
- probabilistic programming 2 Treffer
Verlag
- yale university 6 Treffer
- escholarship, university of california 4 Treffer
- ohio university / ohiolink 3 Treffer
- university of kansas 3 Treffer
- mcgill university 2 Treffer
-
8 weitere Werte:
- ohio university honors tutorial college / ohiolink 2 Treffer
- trinity college (dublin, ireland). school of computer science & statistics 2 Treffer
- university of missouri--columbia 2 Treffer
- eth 1 Treffer
- harvard university 1 Treffer
- institutes outside greece 1 Treffer
- unilu - university of luxembourg 1 Treffer
- ιδρυματα εξωτερικου 1 Treffer
Publikation
- journal of automated reasoning 11 Treffer
- annals of mathematics and artificial intelligence : amai 2 Treffer
- formal aspects of computing : the internat. journal of formal methods 1 Treffer
- information processing letters : devoted to the rapid publication of short contributions to information processing 1 Treffer
Sprache
70 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff:
-
2023HochschulschriftZugriff:
-
2021HochschulschriftZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff:
-
2017HochschulschriftZugriff:
-
2016Online HochschulschriftZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff:
-
In: 1 ; 241 ; AAI28489719 ; Dissertations available from ProQuest ; published, 2021Online HochschulschriftZugriff:
-
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:
-
2011Online HochschulschriftZugriff:
-
2020HochschulschriftZugriff:
-
2017HochschulschriftZugriff:
-
2023Online HochschulschriftZugriff:
-
2018Online HochschulschriftZugriff:
-
2019Online HochschulschriftZugriff: