Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- [info.info-ia]computer science [cs]/computer aided engineering 1 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 1 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 1 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 1 Treffer
- 01 natural sciences 1 Treffer
-
37 weitere Werte:
- 0102 computer and information sciences 1 Treffer
- 010201 computation theory & mathematics 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- 020207 software engineering 1 Treffer
- applied mathematics 1 Treffer
- artificial intelligence 1 Treffer
- axiom 1 Treffer
- closure (computer programming) 1 Treffer
- compiler 1 Treffer
- computer 1 Treffer
- computer graphics and computer-aided design 1 Treffer
- computer science - logic in computer science 1 Treffer
- computer science - programming languages 1 Treffer
- computer.software_genre 1 Treffer
- computingmethodologies_symbolicandalgebraicmanipulation 1 Treffer
- coq 1 Treffer
- core language 1 Treffer
- dependent type 1 Treffer
- euclid 1 Treffer
- euclidean geometry 1 Treffer
- f.4.1 1 Treffer
- formalization 1 Treffer
- fragment (logic) 1 Treffer
- intermediate language 1 Treffer
- itp 1 Treffer
- logic in computer science (cs.lo) 1 Treffer
- programming languages (cs.pl) 1 Treffer
- proof checking 1 Treffer
- simple (abstract algebra) 1 Treffer
- software 1 Treffer
- software science 1 Treffer
- software_programminglanguages 1 Treffer
- soundness 1 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 1 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 1 Treffer
- type (model theory) 1 Treffer
- type checking 1 Treffer
Sprache
2 Treffer
-
In: Annals of Mathematics and Artificial Intelligence, Jg. 85 (2019), S. 213-257Online unknownZugriff:
-
In: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2018, 2018Online unknownZugriff: