Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- theoryofcomputation_mathematicallogicandformallanguages 9 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 7 Treffer
- mathematical proof 6 Treffer
- computer 5 Treffer
- 02 engineering and technology 4 Treffer
-
45 weitere Werte:
- 0202 electrical engineering, electronic engineering, information engineering 4 Treffer
- computer science::logic in computer science 4 Treffer
- discrete mathematics 4 Treffer
- proof assistant 4 Treffer
- 01 natural sciences 3 Treffer
- 0102 computer and information sciences 3 Treffer
- 010201 computation theory & mathematics 3 Treffer
- 020207 software engineering 3 Treffer
- computer science::programming languages 3 Treffer
- simple (abstract algebra) 3 Treffer
- soundness 3 Treffer
- algorithm 2 Treffer
- computability 2 Treffer
- computation 2 Treffer
- computer.programming_language 2 Treffer
- computer.software_genre 2 Treffer
- computingmethodologies_symbolicandalgebraicmanipulation 2 Treffer
- constructive 2 Treffer
- data science 2 Treffer
- intuitionistic type theory 2 Treffer
- lambda calculus 2 Treffer
- program analysis 2 Treffer
- programming language 2 Treffer
- proof theory 2 Treffer
- software 2 Treffer
- subtyping 2 Treffer
- theoretical computer science 2 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 1 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- 020204 information systems 1 Treffer
- algebraic structure 1 Treffer
- analytic proof 1 Treffer
- artificial intelligence 1 Treffer
- automated proof checking 1 Treffer
- automath 1 Treffer
- axiom 1 Treffer
- calcul 1 Treffer
- calculus of constructions 1 Treffer
- coinduction 1 Treffer
- combinatory logic 1 Treffer
- computation theory & mathematics 1 Treffer
- computational theory and mathematics 1 Treffer
- computer science [c05] [engineering, computing & technology] 1 Treffer
- computer science(all) 1 Treffer
Verlag
Publikation
Sprache
15 Treffer
-
In: 2017 International Conference on Dependable Systems and Their Applications (DSA), 2017-10-01Online unknownZugriff:
-
1997Online unknownZugriff:
-
2012Online unknownZugriff:
-
In: EPiC Series in Computing, 2018-10-23Online unknownZugriff:
-
In: Science of Computer Programming, Jg. 208 (2021-08-01), S. 102655-102655Online unknownZugriff:
-
In: Electronic Notes in Theoretical Computer Science, Jg. 325 (2016-10-01), S. 221-236Online unknownZugriff: