Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 2 Treffer
- 02 engineering and technology 2 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 2 Treffer
- automated theorem proving 2 Treffer
- formal verification 2 Treffer
-
45 weitere Werte:
- proof assistant 2 Treffer
- theorem proving 2 Treffer
- [info.info-db]computer science [cs]/databases [cs.db] 1 Treffer
- [sdv.bbm.bm]life sciences [q-bio]/biochemistry, molecular biology/molecular biology 1 Treffer
- [sdv.bibs]life sciences [q-bio]/quantitative methods [q-bio.qm] 1 Treffer
- [sdv]life sciences [q-bio] 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- 020204 information systems 1 Treffer
- 020207 software engineering 1 Treffer
- 05 social sciences 1 Treffer
- 0502 economics and business 1 Treffer
- 050211 marketing 1 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages 1 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic 1 Treffer
- artificial intelligence 1 Treffer
- biological networks 1 Treffer
- bunched logic 1 Treffer
- business 1 Treffer
- business.industry 1 Treffer
- computation 1 Treffer
- computation tree logic 1 Treffer
- computational logic 1 Treffer
- computational theory and mathematics 1 Treffer
- computer science - databases 1 Treffer
- computer science - programming languages 1 Treffer
- computer science::logic in computer science 1 Treffer
- computer.file_format 1 Treffer
- correctness 1 Treffer
- databases (cs.db) 1 Treffer
- datalog 1 Treffer
- description logic 1 Treffer
- dynamic logic (modal logic) 1 Treffer
- encode 1 Treffer
- executable 1 Treffer
- exposition (narrative) 1 Treffer
- first-order logic 1 Treffer
- formal description 1 Treffer
- fos: biological sciences 1 Treffer
- general computer science 1 Treffer
- graph (abstract data type) 1 Treffer
- graph queries 1 Treffer
- hardware and architecture 1 Treffer
- horn clause 1 Treffer
- incremental maintenance 1 Treffer
- interval temporal logic 1 Treffer
Verlag
Sprache
3 Treffer
-
2015Online unknownZugriff:
-
2014Online unknownZugriff: