Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 4 Treffer
- 02 engineering and technology 4 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 4 Treffer
- proof assistant 4 Treffer
- 020207 software engineering 3 Treffer
-
45 weitere Werte:
- computer science 3 Treffer
- computer science::logic in computer science 3 Treffer
- coq 3 Treffer
- general computer science 3 Treffer
- mathematics 3 Treffer
- theoretical computer science 3 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 3 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 3 Treffer
- 0101 mathematics 2 Treffer
- 010102 general mathematics 2 Treffer
- 16. peace & justice 2 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic 2 Treffer
- algebraic number 2 Treffer
- correctness 2 Treffer
- f.4.1 2 Treffer
- mathematical proof 2 Treffer
- order (ring theory) 2 Treffer
- polynomial 2 Treffer
- real algebraic geometry 2 Treffer
- real number 2 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 1 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 1 Treffer
- [math.math-ra]mathematics [math]/rings and algebras [math.ra] 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- algebraic structure 1 Treffer
- artificial intelligence 1 Treffer
- automaton 1 Treffer
- cad 1 Treffer
- complex plane 1 Treffer
- computational theory and mathematics 1 Treffer
- computer science - programming languages 1 Treffer
- computer science - symbolic computation 1 Treffer
- computer science::mathematical software 1 Treffer
- computer science::programming languages 1 Treffer
- core (graph theory) 1 Treffer
- correctness proofs 1 Treffer
- data_files 1 Treffer
- decidability 1 Treffer
- decision procedure 1 Treffer
- distribution (number theory) 1 Treffer
- divisibility rule 1 Treffer
- divisor (algebraic geometry) 1 Treffer
- domain (ring theory) 1 Treffer
- elementary theory 1 Treffer
- equivalence relation 1 Treffer
Verlag
Sprache
6 Treffer
-
2013Online unknownZugriff:
-
2010Online unknownZugriff:
-
In: Logical Methods in Computer Science, Jg. 12 (2016-06-22)Online unknownZugriff: