Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- 02 engineering and technology 1 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- 020204 information systems 1 Treffer
- discrete mathematics 1 Treffer
-
15 weitere Werte:
- hamming distance 1 Treffer
- mathematics 1 Treffer
- polar codes 1 Treffer
- quantified boolean formulas (qbf) 1 Treffer
- quantifier (logic) 1 Treffer
- reduction (recursion theory) 1 Treffer
- redundancy (information theory) 1 Treffer
- reed-muller codes 1 Treffer
- resolution (logic) 1 Treffer
- rule of inference 1 Treffer
- shortening 1 Treffer
- tautology (rule of inference) 1 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 1 Treffer
- true quantified boolean formula 1 Treffer
- unit propagation 1 Treffer
Publikation
- automated reasoning : 9th international joint conference, ijcar 2018, held as part of the federated logic conference, floc 2018, oxford, uk, july 14-17, 2018, proceedings 1 Treffer
- broadband communications, networks, and systems : 12th eai international conference, broadnets 2021, virtual event, october 28-29, 2021, proceedings 1 Treffer
Sprache
3 Treffer
-
2018Online E-BookZugriff:
-
2022Online E-BookZugriff: