Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 2 Treffer
- 01 natural sciences 2 Treffer
- 0101 mathematics 2 Treffer
- 010102 general mathematics 2 Treffer
- computer science::logic in computer science 2 Treffer
-
39 weitere Werte:
- cut-elimination theorem 2 Treffer
- discrete mathematics 2 Treffer
- mathematics 2 Treffer
- natural deduction 2 Treffer
- proof calculus 2 Treffer
- proof theory 2 Treffer
- sequent 2 Treffer
- 0102 computer and information sciences 1 Treffer
- 010201 computation theory & mathematics 1 Treffer
- 02 engineering and technology 1 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- 16. peace & justice 1 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic/f.4.1.1: computational logic 1 Treffer
- aerodynamics 1 Treffer
- application software 1 Treffer
- completeness theorem 1 Treffer
- computer languages 1 Treffer
- computer science 1 Treffer
- computing and processing 1 Treffer
- control systems 1 Treffer
- curry-howard correspondence 1 Treffer
- hardware_logicdesign 1 Treffer
- intuitionistic logic 1 Treffer
- intuitionistic mathematics 1 Treffer
- kripke semantics 1 Treffer
- logic 1 Treffer
- logic programming 1 Treffer
- mathematical analysis 1 Treffer
- mathematical logic 1 Treffer
- mathematical proofs 1 Treffer
- method of analytic tableaux 1 Treffer
- multipliers (mathematical analysis) 1 Treffer
- noncommutative logic 1 Treffer
- polarization 1 Treffer
- pulse inverters 1 Treffer
- substructural logic 1 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 1 Treffer
- usa councils 1 Treffer
Verlag
Publikation
Sprache
4 Treffer
-
In: 2009 24th Annual IEEE Symposium on Logic In Computer Science, 2009-08-01, S. 355KonferenzZugriff:
-
In: Annals of Pure & Applied Logic, Jg. 162 (2011-09-01), Heft 9, S. 679-697Online academicJournal
-
2011Online unknownZugriff: