Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- theoryofcomputation_logicsandmeaningsofprograms 4 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 3 Treffer
- 01 natural sciences 2 Treffer
- 0102 computer and information sciences 2 Treffer
- 010201 computation theory & mathematics 2 Treffer
-
45 weitere Werte:
- 02 engineering and technology 2 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 2 Treffer
- 020207 software engineering 2 Treffer
- computer 2 Treffer
- computer science::logic in computer science 2 Treffer
- computer science::programming languages 2 Treffer
- formal proof 2 Treffer
- proof assistant 2 Treffer
- theoretical computer science 2 Treffer
- [info.info-es] computer science [cs]/embedded systems 1 Treffer
- [info.info-es]computer science [cs]/embedded systems 1 Treffer
- [info.info-gt]computer science [cs]/computer science and game theory [cs.gt] 1 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 1 Treffer
- 16. peace & justice 1 Treffer
- acm: d.: software 1 Treffer
- acm: f.: theory of computation 1 Treffer
- acm: i.: computing methodologies 1 Treffer
- affine transformation 1 Treffer
- agda 1 Treffer
- algorithm 1 Treffer
- artificial intelligence 1 Treffer
- automation 1 Treffer
- buchberger's algorithm 1 Treffer
- business 1 Treffer
- business.industry 1 Treffer
- calculus 1 Treffer
- calculus of constructions 1 Treffer
- coinduction 1 Treffer
- computational theory and mathematics 1 Treffer
- computer science 1 Treffer
- computer science - logic in computer science 1 Treffer
- computer science(all) 1 Treffer
- computer science::mathematical software 1 Treffer
- computer.programming_language 1 Treffer
- computer.software_genre 1 Treffer
- constraint solving 1 Treffer
- constructive 1 Treffer
- constructive logic 1 Treffer
- constructive type theory 1 Treffer
- corecursion 1 Treffer
- data flow diagram 1 Treffer
- data-flow analysis 1 Treffer
- decidability 1 Treffer
- dependent type 1 Treffer
- discrete mathematics 1 Treffer
Verlag
Publikation
6 Treffer
-
In: 2018 IEEE International Conference of Safety Produce Informatization (IICSPI), 2018-12-01Online unknownZugriff:
-
In: Proceedings of the 2014 Symposium on Symbolic-Numeric Computation, 2014-07-28Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 26 (2001), S. 107-137Online unknownZugriff: