Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- proof assistant 25 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 24 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 22 Treffer
- computer science::logic in computer science 18 Treffer
- discrete mathematics 18 Treffer
-
45 weitere Werte:
- 01 natural sciences 15 Treffer
- 0102 computer and information sciences 15 Treffer
- 010201 computation theory & mathematics 15 Treffer
- 02 engineering and technology 14 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 14 Treffer
- mathematical proof 14 Treffer
- theoretical computer science 12 Treffer
- 020207 software engineering 11 Treffer
- pure mathematics 9 Treffer
- type theory 9 Treffer
- computer science::programming languages 8 Treffer
- computingmethodologies_symbolicandalgebraicmanipulation 8 Treffer
- general computer science 8 Treffer
- computer 7 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 6 Treffer
- algorithm 6 Treffer
- automated theorem proving 6 Treffer
- computer science(all) 6 Treffer
- coq 6 Treffer
- formal proof 6 Treffer
- rewriting 6 Treffer
- 16. peace & justice 5 Treffer
- axiom 5 Treffer
- correctness 5 Treffer
- 020201 artificial intelligence & image processing 4 Treffer
- algebraic number 4 Treffer
- calculus of constructions 4 Treffer
- computational theory and mathematics 4 Treffer
- computer science::mathematical software 4 Treffer
- computer.programming_language 4 Treffer
- constructive proof 4 Treffer
- decidability 4 Treffer
- formal verification 4 Treffer
- intuitionistic logic 4 Treffer
- natural deduction 4 Treffer
- proof theory 4 Treffer
- symbolic computation 4 Treffer
- term (logic) 4 Treffer
- [info.info-lo] computer science [cs]/logic in computer science [cs.lo] 3 Treffer
- [info.info-sc]computer science [cs]/symbolic computation [cs.sc] 3 Treffer
- 0101 mathematics 3 Treffer
- 010102 general mathematics 3 Treffer
- analytic proof 3 Treffer
- combinatory logic 3 Treffer
- computer.software_genre 3 Treffer
Verlag
Publikation
- electronic notes in theoretical computer science 4 Treffer
- 2013 15th international symposium on symbolic and numeric algorithms for scientific computing 1 Treffer
- 2018 ieee international conference of safety produce informatization (iicspi) 1 Treffer
- applicable algebra in engineering, communication and computing 1 Treffer
- computational geometry 1 Treffer
-
8 weitere Werte:
- epic series in computing 1 Treffer
- fundamenta informaticae 1 Treffer
- journal of applied mathematics 1 Treffer
- journal of automated reasoning 1 Treffer
- journal of logical and algebraic methods in programming 1 Treffer
- logical methods in computer science 1 Treffer
- mathematical structures in computer science 1 Treffer
- theoretical computer science 1 Treffer
54 Treffer
-
In: Theoretical Computer Science, Jg. 323 (2004-09-01), Heft 1-3, S. 399-442Online unknownZugriff:
-
In: 2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013-09-01Online unknownZugriff:
-
In: Journal of Logical and Algebraic Methods in Programming, Jg. 84 (2015-05-01), S. 377-401Online unknownZugriff:
-
In: Journal of Applied Mathematics, Jg. 2014 (2014), S. 1-9Online unknownZugriff:
-
2016Online unknownZugriff:
-
In: Electronic Notes in Theoretical Computer Science, Jg. 174 (2007-06-01), S. 69-77Online unknownZugriff:
-
In: Applicable Algebra in Engineering, Communication and Computing, Jg. 20 (2009-10-09), S. 379-425Online unknownZugriff:
-
2001Online unknownZugriff:
-
In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS 16, 2016Online unknownZugriff: