Dokazovanie viet v systéme Lean
Enregistré dans:
| Auteur principal: | |
|---|---|
| Autres auteurs: | |
| Format: | Manuscrit Livre |
| Langue: | slovaque |
| Publié: |
2021
|
| Sujets: | |
| Accès en ligne: | http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=159131 https://opac.crzp.sk/?fn=detailBiblioForm&sid=7E417B54B864B7C45225FB4635AB |
| Tags: |
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires: Dokazovanie viet v systéme Lean
- Gentzenov kalkulus a automatické dokazovanie formúl predikátovej logiky
- Parkovací asistent pre nakupovanie
- Myšlienkový Analytický Simulátor
- Interaktívny asistent pre model automobilového interiéru
- Virtuálny humanoidný asistent s využitím syntézy reči
- Využitie hlasových asistentov v praktických aplikáciach