Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 01 natural sciences 1 Treffer
- 0102 computer and information sciences 1 Treffer
- 010201 computation theory & mathematics 1 Treffer
- 02 engineering and technology 1 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 1 Treffer
-
24 weitere Werte:
- 020207 software engineering 1 Treffer
- 16. peace & justice 1 Treffer
- calculus 1 Treffer
- coinduction 1 Treffer
- computational linguistics 1 Treffer
- computer science::logic in computer science 1 Treffer
- inductive type 1 Treffer
- logic programming 1 Treffer
- logical framework 1 Treffer
- logical frameworks 1 Treffer
- metalanguage 1 Treffer
- modal logic 1 Treffer
- modal operator 1 Treffer
- nuprl 1 Treffer
- object language 1 Treffer
- object-oriented programming 1 Treffer
- pi calculus 1 Treffer
- primitive recursion 1 Treffer
- primitive recursive function 1 Treffer
- proof assistant 1 Treffer
- proof checking 1 Treffer
- substitution (algebra) 1 Treffer
- syntax (programming languages) 1 Treffer
- π-calculus 1 Treffer
Sprache
2 Treffer
-
In: Theoretical Computer Science, Jg. 266 (2001-09-01), S. 1-57Online unknownZugriff:
-
In: Theoretical Computer Science, Jg. 253 (2001-02-01), S. 239-285Online unknownZugriff: