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] 2 Treffer
- 0102 computer and information sciences 2 Treffer
- 010201 computation theory & mathematics 2 Treffer
- calculus 2 Treffer
- computer science::logic in computer science 2 Treffer
-
45 weitere Werte:
- cut-elimination theorem 2 Treffer
- discrete mathematics 2 Treffer
- linear logic 2 Treffer
- natural deduction 2 Treffer
- proof calculus 2 Treffer
- proof theory 2 Treffer
- sequent 2 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 2 Treffer
- 010101 applied 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
- algorithm 1 Treffer
- analytic proof 1 Treffer
- boundary (topology) 1 Treffer
- bounded function 1 Treffer
- computer 1 Treffer
- computer.software_genre 1 Treffer
- computer-assisted proof 1 Treffer
- curry-howard correspondence 1 Treffer
- domain (mathematical analysis) 1 Treffer
- ground state 1 Treffer
- hardware_logicdesign 1 Treffer
- intuitionistic logic 1 Treffer
- kripke semantics 1 Treffer
- lemma (mathematics) 1 Treffer
- lipschitz continuity 1 Treffer
- logic 1 Treffer
- mathematical analysis 1 Treffer
- mathematical physics 1 Treffer
- mathematical proof 1 Treffer
- method of analytic tableaux 1 Treffer
- noncommutative logic 1 Treffer
- operator (physics) 1 Treffer
- probabilistically checkable proof 1 Treffer
- programming language 1 Treffer
- proof assistant 1 Treffer
- proof complexity 1 Treffer
- statistical and nonlinear physics 1 Treffer
- structural proof theory 1 Treffer
- substructural logic 1 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 1 Treffer
- variational method 1 Treffer
Verlag
Sprache
4 Treffer
-
In: Journal of Mathematical Physics, Jg. 58 (2017-05-01), S. 051505-51505Online unknownZugriff:
-
In: Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice - LFMTP '13, 2013Online unknownZugriff:
-
2011Online unknownZugriff: