CTL update of Kripke models through protections (Englisch)
Freier Zugriff
- Neue Suche nach: David Arturo Rosenblueth
- Neue Suche nach: Miguel Carrillo
- Neue Suche nach: David Arturo Rosenblueth
- Neue Suche nach: Miguel Carrillo
- Aufsatz (Zeitschrift) / Elektronische Ressource
-
Titel:CTL update of Kripke models through protections
-
Beteiligte:David Arturo Rosenblueth ( Autor:in ) / Miguel Carrillo ( Autor:in )
-
Erscheinungsdatum:01.06.2014
-
Anmerkungen:Artificial intelligence
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Elektronische Ressource
-
Sprache:Englisch
- Neue Suche nach: 005
- Weitere Informationen zu Dewey Decimal Classification
-
Schlagwörter:
-
Klassifikation:
DDC: 005 -
Lizenzbestimmungen:
-
Datenquelle: