Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer science 11 Treffer
- artificial intelligence (incl. robotics) 10 Treffer
- mathematical logic and formal languages 10 Treffer
- mathematical logic and foundations 10 Treffer
- symbolic and algebraic manipulation 10 Treffer
-
26 weitere Werte:
- coq 6 Treffer
- floating-point arithmetic 3 Treffer
- formal proof 2 Treffer
- interactive theorem proving 2 Treffer
- abstract interpretation 1 Treffer
- cholesky decomposition 1 Treffer
- completeness 1 Treffer
- computer aided engineering 1 Treffer
- decidability 1 Treffer
- formalization 1 Treffer
- functions 1 Treffer
- geometry 1 Treffer
- higher-order logic 1 Treffer
- interval arithmetic 1 Treffer
- legibility 1 Treffer
- logic in computer science 1 Treffer
- mathematical software 1 Treffer
- matrices 1 Treffer
- modular arithmetic 1 Treffer
- natural deduction 1 Treffer
- np-completeness 1 Treffer
- numerical analysis 1 Treffer
- proof assistant 1 Treffer
- rounding error 1 Treffer
- separation logic 1 Treffer
- set theory 1 Treffer
Verlag
Sprache
49 Treffer
-
In: Journal of automated reasoning, Jg. 65 (2020), Heft 1, S. 75-124Online serialPeriodicalZugriff:
-
In: Journal of automated reasoning, Jg. 64 (2020), Heft 5, S. 795-825Online serialPeriodicalZugriff:
-
In: Journal of automated reasoning, Jg. 63 (2018), Heft 2, S. 393-413Online serialPeriodicalZugriff:
-
In: Journal of automated reasoning, Jg. 61 (2018), Heft 1-4, S. 423-453Online serialPeriodicalZugriff:
-
In: Journal of automated reasoning, Jg. 61 (2018), Heft 1-4, S. 521-553Online serialPeriodicalZugriff:
-
In: Journal of automated reasoning, Jg. 62 (2017), Heft 1, S. 1-68Online serialPeriodicalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!serialPeriodicalZugriff:
-
In: JOURNAL OF AUTOMATED REASONING, Jg. 53 (2014), Heft 3, S. 271-304Online serialPeriodicalZugriff:
-
In: JOURNAL OF AUTOMATED REASONING, Jg. 53 (2014), Heft 2, S. 105-127Online serialPeriodicalZugriff:
-
In: JOURNAL OF AUTOMATED REASONING, Jg. 49 (2012), Heft 3, S. 409-426Online serialPeriodicalZugriff:
-
In: JOURNAL OF AUTOMATED REASONING, Jg. 49 (2012), Heft 2, S. 141-159Online serialPeriodicalZugriff:
-
In: JOURNAL OF AUTOMATED REASONING, Jg. 43 (2009), Heft 1, S. 19-51Online serialPeriodicalZugriff:
-
In: JOURNAL OF AUTOMATED REASONING, Jg. 40 (2008), Heft 4, S. 307-326Online serialPeriodicalZugriff:
-
In: JOURNAL OF AUTOMATED REASONING, Jg. 29 (2002), Heft 3/4, S. 277-307Online serialPeriodicalZugriff:
-
In: JOURNAL OF AUTOMATED REASONING, Jg. 23 (1999), Heft 3/4, S. 319-346Online 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: