Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- mathematics 11 Treffer
- coq 9 Treffer
- algebra and number theory 6 Treffer
- computational mathematics 6 Treffer
- algebra 5 Treffer
-
45 weitere Werte:
- formalization 4 Treffer
- functional programming 4 Treffer
- geometry 4 Treffer
- proof assistant 4 Treffer
- spike 4 Treffer
- algorithms 3 Treffer
- area method 3 Treffer
- arithmetization 3 Treffer
- computer 3 Treffer
- computer algebra 3 Treffer
- computer.software_genre 3 Treffer
- dependent types 3 Treffer
- fields 3 Treffer
- formal methods 3 Treffer
- grobner bases 3 Treffer
- imperative programming 3 Treffer
- program verification 3 Treffer
- programming language 3 Treffer
- separation logic 3 Treffer
- software verification 3 Treffer
- symbolic computation 3 Treffer
- theorem proving 3 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 3 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 3 Treffer
- traces 3 Treffer
- 01 natural sciences 2 Treffer
- 0101 mathematics 2 Treffer
- 010102 general mathematics 2 Treffer
- 010103 numerical & computational mathematics 2 Treffer
- algorithm 2 Treffer
- automation 2 Treffer
- buchberger's algorithm 2 Treffer
- business 2 Treffer
- business.industry 2 Treffer
- calculemus 2 Treffer
- computer network protocols 2 Treffer
- computer science 2 Treffer
- correctness 2 Treffer
- data structures 2 Treffer
- differential equations 2 Treffer
- euclidean geometry 2 Treffer
- execution traces (computer program testing) 2 Treffer
- first-order logic 2 Treffer
- formalization (philosophy) 2 Treffer
- fundamental theorem of algebra 2 Treffer
Verlag
Sprache
17 Treffer
-
In: JOURNAL OF SYMBOLIC COMPUTATION, Jg. 39 (2005), Heft NO 5, S. 569-592Online Konferenz
-
In: JOURNAL OF SYMBOLIC COMPUTATION, Jg. 34 (2002), Heft NO 4, S. 271-286Online Konferenz
-
In: Special issue on automatic programming, Jg. 15 (1993), Heft 5-6, S. 607-640Online academicJournalZugriff:
-
In: Journal of Symbolic Computation, Jg. 15 (1993-05-01), Heft 5-6, S. 607-640Online unknownZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Journal of Symbolic Computation, Jg. 90 (2019), S. 149-168Online academicJournal
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Journal of Symbolic Computation, Jg. 80 (2017-05-01), S. 209-249Online academicJournal
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Journal of Symbolic Computation, Jg. 46 (2011-02-01), Heft 2, S. 95-118Online academicJournal
-
In: Journal of Symbolic Computation, Jg. 32 (2001-07-01), Heft 1-2, S. 55-70Online serialPeriodical
-
In: Journal of Symbolic Computation, Jg. 44 (2009-05-01), Heft 5, S. 571-582Online academicJournal
-
In: Journal of Symbolic Computation, Jg. 46 (2011-02-01), S. 95-118Online unknownZugriff:
-
In: Journal of Symbolic Computation, Jg. 32 (2001), Heft 1-2, S. 55-70Online unknownZugriff:
-
In: Journal of Symbolic Computation, 2019Online unknownZugriff:
-
In: Journal of Symbolic Computation, Jg. 39 (2005-05-01), Heft 5, S. 501-502Online unknownZugriff:
-
In: Journal of Symbolic Computation, , Heft 5, S. 571-582Online unknownZugriff: