Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 02 engineering and technology 5 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 5 Treffer
- proof assistant 4 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 4 Treffer
- 020204 information systems 3 Treffer
-
45 weitere Werte:
- 020207 software engineering 3 Treffer
- computer science::logic in computer science 3 Treffer
- computer science::programming languages 3 Treffer
- 01 natural sciences 2 Treffer
- computer.programming_language 2 Treffer
- extension (predicate logic) 2 Treffer
- type theory 2 Treffer
- 0101 mathematics 1 Treffer
- 010102 general mathematics 1 Treffer
- 0102 computer and information sciences 1 Treffer
- 010201 computation theory & mathematics 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- 05 social sciences 1 Treffer
- 0502 economics and business 1 Treffer
- 050211 marketing 1 Treffer
- algebra 1 Treffer
- boolean data type 1 Treffer
- bracketing 1 Treffer
- calculus of constructions 1 Treffer
- code (cryptography) 1 Treffer
- coinduction 1 Treffer
- computer science::computational complexity 1 Treffer
- computer science::formal languages and automata theory 1 Treffer
- computer science::mathematical software 1 Treffer
- coq 1 Treffer
- correctness 1 Treffer
- data structure 1 Treffer
- denotation 1 Treffer
- denotational semantics 1 Treffer
- description number 1 Treffer
- domain theory 1 Treffer
- domain-specific language 1 Treffer
- embedding 1 Treffer
- expression (mathematics) 1 Treffer
- fibonacci number 1 Treffer
- formal methods 1 Treffer
- formal proof 1 Treffer
- formal specification 1 Treffer
- halting problem 1 Treffer
- hoare logic 1 Treffer
- hyperarithmetical theory 1 Treffer
- insertion sort 1 Treffer
- lambda calculus 1 Treffer
- merge sort 1 Treffer
- monad (functional programming) 1 Treffer
Sprache
7 Treffer
-
In: Science of Computer Programming, Jg. 164 (2018-10-01), S. 37-48Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 164 (2018-10-01), S. 49-65Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 76 (2011-03-01), Heft 3, S. 204-224Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 64 (2007-02-01), S. 332-340Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 126 (2016-09-01), S. 31-51Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 197 (2020-10-01), S. 102512-102512Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 191 (2020-06-01), S. 102372-102372Online unknownZugriff: