Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 020201 artificial intelligence & image processing 3 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 3 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 2 Treffer
- 01 natural sciences 2 Treffer
- 0102 computer and information sciences 2 Treffer
-
45 weitere Werte:
- 010201 computation theory & mathematics 2 Treffer
- mathematical proof 2 Treffer
- [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] 1 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 1 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 1 Treffer
- 020202 computer hardware & architecture 1 Treffer
- 020204 information systems 1 Treffer
- 16. peace & justice 1 Treffer
- algebra 1 Treffer
- algorithm 1 Treffer
- automated theorem proving 1 Treffer
- bdd 1 Treffer
- binary decision diagram 1 Treffer
- class (set theory) 1 Treffer
- code (cryptography) 1 Treffer
- computer science - data structures and algorithms 1 Treffer
- computer science - logic in computer science 1 Treffer
- computer science::logic in computer science 1 Treffer
- computer science::mathematical software 1 Treffer
- computer.programming_language 1 Treffer
- constraint satisfaction problem 1 Treffer
- coq 1 Treffer
- core set 1 Treffer
- correctness 1 Treffer
- data structure 1 Treffer
- data structures and algorithms (cs.ds) 1 Treffer
- decidability 1 Treffer
- development (topology) 1 Treffer
- dual (cognitive architecture) 1 Treffer
- evaluation strategy 1 Treffer
- fos: computer and information sciences 1 Treffer
- functional programming 1 Treffer
- hash function 1 Treffer
- hierarchy (mathematics) 1 Treffer
- hoare logic 1 Treffer
- implementation 1 Treffer
- inheritance (object-oriented programming) 1 Treffer
- intuitionistic type theory 1 Treffer
- justice and strong institutions 1 Treffer
- lambda calculus 1 Treffer
- logic in computer science (cs.lo) 1 Treffer
- mathematical structure 1 Treffer
- mathematics 1 Treffer
- model of computation 1 Treffer
- operational semantics 1 Treffer
Verlag
Sprache
5 Treffer
-
In: Journal of Automated Reasoning, Jg. 63 (2018-10-19), S. 393-413Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 53 (2014-06-19), S. 271-304Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 58 (2017-03-01), Heft 3, S. 341-362Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 61 (2018-02-21), S. 367-422Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 29 (2002), S. 337-363Online unknownZugriff: