Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 33 Treffer
- formal proof 6 Treffer
- interactive theorem proving 6 Treffer
- automated theorem proving 5 Treffer
- floating-point arithmetic 5 Treffer
-
45 weitere Werte:
- program verification 5 Treffer
- proof assistant 4 Treffer
- proof assistants 4 Treffer
- theorem proving 4 Treffer
- compiler verification 3 Treffer
- decision procedure 3 Treffer
- formal proofs 3 Treffer
- formalization 3 Treffer
- geometry 3 Treffer
- separation logic 3 Treffer
- type theory 3 Treffer
- abstract interpretation 2 Treffer
- compilation 2 Treffer
- computer algebra 2 Treffer
- concurrency 2 Treffer
- formal methods 2 Treffer
- formalisation 2 Treffer
- interval arithmetic 2 Treffer
- metatheory 2 Treffer
- semantic preservation 2 Treffer
- semantics 2 Treffer
- 03b35 1 Treffer
- 03b47 1 Treffer
- 03f03 1 Treffer
- 68n18 1 Treffer
- 68q17 1 Treffer
- 68q60 1 Treffer
- 68t15 1 Treffer
- acoustic wave equation 1 Treffer
- android 1 Treffer
- area method 1 Treffer
- binary decision diagrams 1 Treffer
- c 1 Treffer
- calculus of fractions 1 Treffer
- categoricity 1 Treffer
- category 1 Treffer
- certification 1 Treffer
- cholesky decomposition 1 Treffer
- choreographic programming 1 Treffer
- classification 1 Treffer
- coherent logic 1 Treffer
- compiler correctness 1 Treffer
- completeness 1 Treffer
- computability theory 1 Treffer
- computational topology 1 Treffer
Verlag
Sprache
73 Treffer
-
In: Journal of Automated Reasoning, Jg. 68 (2024-03-01), Heft 1Online academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 67 (2023-03-01), Heft 1Online academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 66 (2022-05-01), Heft 2, S. 175-213Online academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 67 (2023-12-01), Heft 4Online academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 65 (2021), Heft 1, S. 75-124Online academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 63 (2019-08-01), Heft 2, S. 393-413Online academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 64 (2020-06-01), Heft 5, S. 795-825Online academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 62 (2019), Heft 1, S. 1-68Online academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 61 (2018-06-01), Heft 1-4, S. 423-453Online academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 61 (2018-06-01), Heft 1-4, S. 521-553Online academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 57 (2016-10-01), Heft 3, S. 187-217Online academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 53 (2014-10-01), Heft 3, S. 271-304Online academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 53 (2014-08-01), Heft 2, S. 105-127Online academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 49 (2012-08-01), Heft 2, S. 141-159Online academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 49 (2012-10-01), Heft 3, S. 409-426Online academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 43 (2009-06-01), Heft 1, S. 19-51Online academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 29 (2002-09-01), Heft 3-4, S. 277-307Online academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 40 (2008-05-01), Heft 4, S. 307-326Online academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 68 (2024-03-01), Heft 1Online academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 23 (1999-11-01), Heft 3, S. 319-346Online academicJournalZugriff: