Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- f.4.1 16 Treffer
- computer science - programming languages 11 Treffer
- d.2.4 7 Treffer
- f.3.1 6 Treffer
- computer science - symbolic computation 4 Treffer
-
45 weitere Werte:
- mathematics - logic 4 Treffer
- 01 natural sciences 3 Treffer
- 0102 computer and information sciences 3 Treffer
- 010201 computation theory & mathematics 3 Treffer
- computer science - computation and language 3 Treffer
- computer science - formal languages and automata theory 3 Treffer
- f.4.3 3 Treffer
- fos: computer and information sciences 3 Treffer
- i.2.3 3 Treffer
- logic in computer science (cs.lo) 3 Treffer
- proof assistant 3 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 2 Treffer
- computer 2 Treffer
- computer science 2 Treffer
- computer.software_genre 2 Treffer
- f.3 2 Treffer
- f.4.2 2 Treffer
- mathematics - combinatorics 2 Treffer
- mathematics - numerical analysis 2 Treffer
- mathematics - optimization and control 2 Treffer
- mathematics - rings and algebras 2 Treffer
- phil 2 Treffer
- theoretical computer science 2 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 2 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 2 Treffer
- [info.info-ai] computer science [cs]/artificial intelligence [cs.ai] 1 Treffer
- [info.info-ai]computer science [cs]/artificial intelligence [cs.ai] 1 Treffer
- [info.info-lo] computer science [cs]/logic in computer science [cs.lo] 1 Treffer
- [scco.comp] cognitive science/computer science 1 Treffer
- [scco.comp]cognitive science/computer science 1 Treffer
- 0101 mathematics 1 Treffer
- 010102 general mathematics 1 Treffer
- 02 engineering and technology 1 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 1 Treffer
- 020204 information systems 1 Treffer
- 05 social sciences 1 Treffer
- 0502 economics and business 1 Treffer
- 050207 economics 1 Treffer
- algebraic topology 1 Treffer
- algebraic topology (math.at) 1 Treffer
- and cluster computing 1 Treffer
- artificial intelligence 1 Treffer
- artificial intelligence (cs.ai) 1 Treffer
- autoepistemic logic 1 Treffer
- betti number 1 Treffer
Verlag
Publikation
- logical methods in computer science 30 Treffer
- logical methods in computer science, vol volume 18, issue 2 (2022 3 Treffer
- logical methods in computer science, vol volume 8, issue 1 (2012 3 Treffer
- logical methods in computer science, vol volume 17, issue 2 (2021 2 Treffer
- logical methods in computer science, vol volume 4, issue 3 (2008 2 Treffer
-
17 weitere Werte:
- logical methods in computer science, vol volume 8, issue 2 (2012 2 Treffer
- acm transactions on computational logic 1 Treffer
- electronic proceedings in theoretical computer science 1 Treffer
- logical methods in computer science, vol volume 11, issue 1 (2015 1 Treffer
- logical methods in computer science, vol volume 11, issue 3 (2015 1 Treffer
- logical methods in computer science, vol volume 11, issue 4 (2015 1 Treffer
- logical methods in computer science, vol volume 12, issue 2 (2016 1 Treffer
- logical methods in computer science, vol volume 13, issue 4 (2017 1 Treffer
- logical methods in computer science, vol volume 15, issue 1 (2019 1 Treffer
- logical methods in computer science, vol volume 15, issue 2 (2019 1 Treffer
- logical methods in computer science, vol volume 17, issue 1 (2021 1 Treffer
- logical methods in computer science, vol volume 17, issue 3 (2021 1 Treffer
- logical methods in computer science, vol volume 18, issue 1 (2022 1 Treffer
- logical methods in computer science, vol volume 3, issue 3 (2007 1 Treffer
- logical methods in computer science, vol volume 4, issue 1 (2008 1 Treffer
- logical methods in computer science, vol volume 7, issue 2 (2011 1 Treffer
- logical methods in computer science, vol volume 9, issue 1 (2013 1 Treffer
Sprache
61 Treffer
-
In: Logical Methods in Computer Science, Jg. ume 18, Issue 2 (2022-06-01)Online academicJournalZugriff:
-
In: Logical Methods in Computer Science, Jg. ume 18, Issue 1 (2022-03-01)Online academicJournalZugriff:
-
In: Logical Methods in Computer Science, Jg. ume 17, Issue 2 (2021-05-01)Online academicJournalZugriff:
-
In: Logical Methods in Computer Science, Jg. ume 12, Issue 2 (2016-06-01)Online academicJournalZugriff:
-
In: Logical Methods in Computer Science, Jg. ume 9, Issue 1 (2013-02-01)Online academicJournalZugriff:
-
In: Logical Methods in Computer Science, Jg. ume 8, Issue 1 (2012-03-01)Online academicJournalZugriff:
-
In: ACM Transactions on Computational Logic, Jg. 14 (2013-11-01), S. 1-16Online unknownZugriff:
-
In: Logical Methods in Computer Science, Jg. ume 19, Issue 4 (2023-12-01)Online academicJournalZugriff:
-
In: Logical Methods in Computer Science, Jg. ume 17, Issue 3 (2021-07-01)Online academicJournalZugriff:
-
In: Logical Methods in Computer Science, Jg. ume 13, Issue 4 (2017-11-01)Online academicJournalZugriff:
-
In: Logical Methods in Computer Science, Jg. ume 18, Issue 2 (2022-06-01)Online academicJournalZugriff:
-
In: Logical Methods in Computer Science, Jg. ume 18, Issue 2 (2022-05-01)Online academicJournalZugriff:
-
In: Logical Methods in Computer Science, Jg. ume 7, Issue 2 (2011-06-01)Online academicJournalZugriff:
-
In: Logical Methods in Computer Science, Jg. ume 4, Issue 3 (2008-09-01)Online academicJournalZugriff:
-
In: Logical Methods in Computer Science, Jg. ume 17, Issue 2 (2021-04-01)Online academicJournalZugriff:
-
In: Logical Methods in Computer Science, Jg. ume 17, Issue 1 (2021-02-01)Online academicJournalZugriff:
-
In: Logical Methods in Computer Science, Jg. ume 16, Issue 1 (2020-03-01)Online academicJournalZugriff:
-
In: Logical Methods in Computer Science, Jg. ume 15, Issue 2 (2019-04-01)Online academicJournalZugriff:
-
In: Logical Methods in Computer Science, Jg. ume 15, Issue 1 (2019-03-01)Online academicJournalZugriff: