Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- algebra and number theory 4 Treffer
- computational theory and mathematics 4 Treffer
- information systems 4 Treffer
- theoretical computer science 4 Treffer
- business 2 Treffer
-
45 weitere Werte:
- business.industry 2 Treffer
- computer science 2 Treffer
- mathematical proof 2 Treffer
- mathematics 2 Treffer
- 02 engineering and technology 1 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- 020207 software engineering 1 Treffer
- algebra 1 Treffer
- artificial intelligence 1 Treffer
- automated theorem proving 1 Treffer
- automation 1 Treffer
- axiom 1 Treffer
- axiom schema 1 Treffer
- coenzyme q10 1 Treffer
- combinatorics 1 Treffer
- computer 1 Treffer
- computer networks and communications 1 Treffer
- computer science - logic in computer science 1 Treffer
- computer.software_genre 1 Treffer
- conflict resolution 1 Treffer
- correctness 1 Treffer
- data type 1 Treffer
- f.4 1 Treffer
- filtered algebra 1 Treffer
- fos: computer and information sciences 1 Treffer
- fos: mathematics 1 Treffer
- functional programming 1 Treffer
- heuristic 1 Treffer
- high pressure liquid chromatography 1 Treffer
- identification (information) 1 Treffer
- intersection 1 Treffer
- logic (math.lo) 1 Treffer
- logic in computer science (cs.lo) 1 Treffer
- management system 1 Treffer
- mathematics - logic 1 Treffer
- mitochondrial disease 1 Treffer
- monoid 1 Treffer
- programming language 1 Treffer
- proof assistant 1 Treffer
- protocol (object-oriented programming) 1 Treffer
- rank (graph theory) 1 Treffer
- reference values 1 Treffer
- renal disease 1 Treffer
- rippling 1 Treffer
Publikation
6 Treffer
-
In: Fundamenta Informaticae, Jg. 185 (2022-06-21), S. 313-336Online unknownZugriff:
-
In: Fundamenta Informaticae, Jg. 170 (2019-10-18), S. 93-110Online unknownZugriff:
-
In: Web Intelligence, Jg. 16 (2018-10-31), S. 251-271Online unknownZugriff:
-
In: Fundamenta Informaticae, Jg. 121 (2012), S. 43-82Online unknownZugriff:
-
In: Fundamenta Informaticae, Jg. 102 (2010), S. 209-228Online unknownZugriff: