Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computer 2 Treffer
- computer.software_genre 2 Treffer
- programming language 2 Treffer
- software 2 Treffer
- theoretical computer science 2 Treffer
-
45 weitere Werte:
- theoryofcomputation_mathematicallogicandformallanguages 2 Treffer
- acl2 1 Treffer
- algorithmics. computability. computer arithmetics 1 Treffer
- algorithmique. calculabilite. arithmetique ordinateur 1 Treffer
- applied sciences 1 Treffer
- calculabilite decidabilite 1 Treffer
- calculus 1 Treffer
- calculus of constructions 1 Treffer
- code (cryptography) 1 Treffer
- code generation 1 Treffer
- computability and decidability 1 Treffer
- computer science; control theory; systems 1 Treffer
- computer.file_format 1 Treffer
- computer.programming_language 1 Treffer
- correctness 1 Treffer
- direct proof 1 Treffer
- especificacion programa 1 Treffer
- exact sciences and technology 1 Treffer
- executable 1 Treffer
- heuristic methods 1 Treffer
- informatique 1 Treffer
- informatique theorique 1 Treffer
- informatique; automatique theorique; systemes 1 Treffer
- logic programming 1 Treffer
- methode heuristique 1 Treffer
- preuve programme 1 Treffer
- program analysis 1 Treffer
- program derivation 1 Treffer
- program proof 1 Treffer
- program specification 1 Treffer
- program verification 1 Treffer
- programacion funcional 1 Treffer
- programmation fonctionnelle 1 Treffer
- programmation logique 1 Treffer
- programming theory 1 Treffer
- proof assistant 1 Treffer
- proof complexity 1 Treffer
- prueba programa 1 Treffer
- sciences appliquees 1 Treffer
- sciences exactes et technologie 1 Treffer
- security of systems 1 Treffer
- specification programme 1 Treffer
- structural proof theory 1 Treffer
- theoretical computing 1 Treffer
- theorie programmation 1 Treffer
Verlag
Sprache
3 Treffer
-
In: Formal aspects of computing, Jg. 9 (1997), Heft 5-6, S. 484-517Online academicJournalZugriff:
-
In: Formal Aspects of Computing, Jg. 19 (2007), Heft 2, S. 191-203Online unknownZugriff:
-
In: Formal Aspects of Computing, Jg. 9 (1997-09-01), S. 484-517Online unknownZugriff: