Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- 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
- coq 7 Treffer
-
45 weitere Werte:
- floating-point arithmetic 3 Treffer
- interactive theorem proving 3 Treffer
- computer science, general 2 Treffer
- formal proof 2 Treffer
- mathematics, general 2 Treffer
- proof assistant 2 Treffer
- statistical physics, dynamical systems and complexity 2 Treffer
- 03b35 1 Treffer
- 03f55 1 Treffer
- 03f60 1 Treffer
- 03h15 1 Treffer
- 68t15 1 Treffer
- abstract interpretation 1 Treffer
- automated theorem proving 1 Treffer
- cholesky decomposition 1 Treffer
- completeness 1 Treffer
- composition 1 Treffer
- computational mathematics and numerical analysis 1 Treffer
- computer aided engineering 1 Treffer
- decidability 1 Treffer
- dimensional analysis 1 Treffer
- discrete geometry 1 Treffer
- formal verification 1 Treffer
- formalization 1 Treffer
- functions 1 Treffer
- geometry 1 Treffer
- higher-order logic 1 Treffer
- integer programming 1 Treffer
- interval arithmetic 1 Treffer
- legibility 1 Treffer
- logic in computer science 1 Treffer
- math applications in computer science 1 Treffer
- mathematical functions 1 Treffer
- mathematical software 1 Treffer
- matrices 1 Treffer
- mde 1 Treffer
- modular arithmetic 1 Treffer
- mof 1 Treffer
- natural deduction 1 Treffer
- np-completeness 1 Treffer
- numerical analysis 1 Treffer
- proof theory 1 Treffer
- rounding error 1 Treffer
- separation logic 1 Treffer
- set theory 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
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:
-
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:
-
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:
-
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: