Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- fos: computer and information sciences 10 Treffer
- logic in computer science (cs.lo) 10 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 9 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 7 Treffer
- 01 natural sciences 7 Treffer
-
45 weitere Werte:
- 0102 computer and information sciences 7 Treffer
- 010201 computation theory & mathematics 7 Treffer
- 02 engineering and technology 7 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 7 Treffer
- computer science 7 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 7 Treffer
- 020207 software engineering 6 Treffer
- theoretical computer science 5 Treffer
- algebra 4 Treffer
- certification 4 Treffer
- computer 4 Treffer
- computer.software_genre 4 Treffer
- programming language 4 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 3 Treffer
- computer science::logic in computer science 3 Treffer
- computer science::mathematical software 3 Treffer
- computingmethodologies_symbolicandalgebraicmanipulation 3 Treffer
- formal proofs 3 Treffer
- mathematical proof 3 Treffer
- mathematics 3 Treffer
- [info.info-lo] computer science [cs]/logic in computer science [cs.lo] 2 Treffer
- 0101 mathematics 2 Treffer
- 010102 general mathematics 2 Treffer
- 020201 artificial intelligence & image processing 2 Treffer
- 020204 information systems 2 Treffer
- 05 social sciences 2 Treffer
- 16. peace & justice 2 Treffer
- artificial intelligence 2 Treffer
- bunched logic 2 Treffer
- business 2 Treffer
- business.industry 2 Treffer
- computational logic 2 Treffer
- computer science - mathematical software 2 Treffer
- computer science - programming languages 2 Treffer
- description logic 2 Treffer
- f.4.1 2 Treffer
- formal proof 2 Treffer
- general computer science 2 Treffer
- higher-order logic 2 Treffer
- programming languages (cs.pl) 2 Treffer
- proof calculus 2 Treffer
- real number 2 Treffer
- rewriting 2 Treffer
- termination 2 Treffer
- [info.info-ai] computer science [cs]/artificial intelligence [cs.ai] 1 Treffer
Verlag
Sprache
14 Treffer
-
2010Online unknownZugriff:
-
2020Online unknownZugriff:
-
2017Online unknownZugriff:
-
In: Journal of Automated Reasoning, Jg. 57 (2016-05-01), Heft 4, S. 319-387Online unknownZugriff:
-
2014Online unknownZugriff:
-
2012Online unknownZugriff: