Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer 7 Treffer
- computer.software_genre 7 Treffer
- programming language 7 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 7 Treffer
- mathematical proof 5 Treffer
-
45 weitere Werte:
- proof assistant 5 Treffer
- semantics (computer science) 5 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 4 Treffer
- computer science - programming languages 4 Treffer
- programming languages (cs.pl) 4 Treffer
- 01 natural sciences 3 Treffer
- 0102 computer and information sciences 3 Treffer
- 010201 computation theory & mathematics 3 Treffer
- 02 engineering and technology 3 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 3 Treffer
- coinduction 3 Treffer
- algebra 2 Treffer
- calculus 2 Treffer
- computer science::logic in computer science 2 Treffer
- computer science::programming languages 2 Treffer
- computer.programming_language 2 Treffer
- core (graph theory) 2 Treffer
- development (topology) 2 Treffer
- f.3.2 2 Treffer
- hol 2 Treffer
- theorem provers 2 Treffer
- type (model theory) 2 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- 020204 information systems 1 Treffer
- 020207 software engineering 1 Treffer
- 16. peace & justice 1 Treffer
- abstract interpretation 1 Treffer
- agda 1 Treffer
- automated theorem provers 1 Treffer
- automated theorem proving 1 Treffer
- business 1 Treffer
- business.industry 1 Treffer
- certificate 1 Treffer
- certification 1 Treffer
- characterization (mathematics) 1 Treffer
- class (computer programming) 1 Treffer
- code (cryptography) 1 Treffer
- component (uml) 1 Treffer
- computational theory and mathematics 1 Treffer
- computer science::mathematical software 1 Treffer
- context (language use) 1 Treffer
- countable set 1 Treffer
- dependency (uml) 1 Treffer
- determinism 1 Treffer
Sprache
11 Treffer
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 210 (2016-06-01), S. 30-35Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 337 (2021-07-16), S. 55-70Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 303 (2019-09-02), S. 32-47Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 274 (2018-07-01), S. 57-71Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 230 (2016-11-26), S. 63-75Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 197 (2015-11-08), S. 15-28Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 149 (2014-04-01), S. 64-78Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 129 (2013-09-01), S. 360-383Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 73 (2011-11-11), S. 49-63Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 62 (2011-08-01), S. 17-29Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 32 (2010-08-01), S. 57-75Online unknownZugriff: