Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- logic 39 Treffer
- bc1-199 37 Treffer
- electronic computers. computer science 37 Treffer
- qa75.5-76.95 37 Treffer
- computer science - logic in computer science 33 Treffer
-
45 weitere Werte:
- coq 30 Treffer
- f.4.1 12 Treffer
- computer science - programming languages 11 Treffer
- mathematics - logic 8 Treffer
- type theory 6 Treffer
- general computer science 5 Treffer
- theoretical computer science 5 Treffer
- concurrency 4 Treffer
- coq proof assistant 4 Treffer
- dependent type theory 4 Treffer
- formal proofs 4 Treffer
- fos: computer and information sciences 4 Treffer
- iris 4 Treffer
- kleene algebra 4 Treffer
- mathematics 4 Treffer
- mathematics - category theory 4 Treffer
- proofs 4 Treffer
- separation logic 4 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 4 Treffer
- 01 natural sciences 3 Treffer
- 0102 computer and information sciences 3 Treffer
- 010201 computation theory & mathematics 3 Treffer
- category theory 3 Treffer
- computability theory 3 Treffer
- computer science 3 Treffer
- computer science - symbolic computation 3 Treffer
- constructive algebra 3 Treffer
- d.2.4 3 Treffer
- decision procedure 3 Treffer
- finite automata 3 Treffer
- formalization 3 Treffer
- formalization of mathematics 3 Treffer
- fos: mathematics 3 Treffer
- logic in computer science (cs.lo) 3 Treffer
- proof assistant 3 Treffer
- quantifier elimination 3 Treffer
- real algebraic geometry 3 Treffer
- real closed fields 3 Treffer
- regular expressions 3 Treffer
- ssreflect 3 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 3 Treffer
- undecidability 3 Treffer
- 02 engineering and technology 2 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 2 Treffer
- algebra 2 Treffer
Verlag
Sprache
81 Treffer
-
In: Logical Methods in Computer Science, Jg. ume 3, Issue 3 (2007-08-01)Online academicJournalZugriff: