Kein Cover

Induction of Linear Temporal Logic Programs

Kolter, Robert 2017 Technische Universität Kaiserslautern, Fachbereich Informatik

Titel
Induction of Linear Temporal Logic Programs
Art des Inhalts
Monographie
Verfassangaben
Robert Kolter
Autor
Kolter, Robert
Verlag
Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik [2017]
Jahr
Erscheinungsdatum: 2017
Umfang/Format
Online-Ressource
Online
https://nbn-resolving.org/urn:nbn:de:hbz:386-kluedo-49817
Sprache
eng
DDC-Klasse(n)
Stand
21.02.2020 17:55
Im Katalog seit
06.03.2026

Beschreibung vom Verlag

← Zurück zur Startseite