- Standort
-
Hannover TIB
- Umfang
-
177MB, 00:13:19:13 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
Artificial intelligence (Штучний інтелект) ; (Jan. 2023)
- Ereignis
-
Veröffentlichung
- (wer)
-
Ukrainian State University of Science and Technologies, Projekt 'Open Education Resources with Ukraine'
- (wann)
-
2023-01-01
- Beteiligte Personen und Organisationen
-
Ostrovska, Kateryna
Soldatenko, Dmytro
- DOI
-
10.5446/63159
- Letzte Aktualisierung
- 21.04.2026, 10:50 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Technische Informationsbibliothek (TIB).
Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- zweidimensionales bewegtes Bild
Beteiligte
- Ostrovska, Kateryna
- Soldatenko, Dmytro
- Ukrainian State University of Science and Technologies, Projekt 'Open Education Resources with Ukraine'
Entstanden
- 2023-01-01
Ähnliche Objekte (12)
Propositional and Predicate Logic
A technological approach to teaching inequalities, propositional and predicate logic
A Model of Argument: Propositional and Predicate Calculus
On Argumentation Logic and Propositional Logic
Logic and topology
Propositional logic : deduction and algorithms
Tableau methods for propositional logic and term logic
Modal logic and artificial intelligence
An infinitary propositional probability logic
Strong-Separation Logic
The Logic and Geometry of Localic Morphisms
Graded Hoare Logic and its Categorical Semantics
Propositional and Predicate Logic
A technological approach to teaching inequalities, propositional and predicate logic
A Model of Argument: Propositional and Predicate Calculus
On Argumentation Logic and Propositional Logic
Logic and topology
Propositional logic : deduction and algorithms
Tableau methods for propositional logic and term logic
Modal logic and artificial intelligence
An infinitary propositional probability logic
Strong-Separation Logic
The Logic and Geometry of Localic Morphisms
Graded Hoare Logic and its Categorical Semantics
Propositional and Predicate Logic
A technological approach to teaching inequalities, propositional and predicate logic
A Model of Argument: Propositional and Predicate Calculus
On Argumentation Logic and Propositional Logic
Logic and topology
Propositional logic : deduction and algorithms
Tableau methods for propositional logic and term logic
Modal logic and artificial intelligence
An infinitary propositional probability logic
Strong-Separation Logic
The Logic and Geometry of Localic Morphisms