Eintrag weiter verarbeiten
Induction of linear temporal logic programs
Gespeichert in:
Personen und Körperschaften: | |
---|---|
Titel: | Induction of linear temporal logic programs/ Robert Kolter |
Format: | Buch |
Sprache: | Englisch |
veröffentlicht: |
Kaiserslautern
Techn. Univ., Fachbereich Informatik
2004
|
Gesamtaufnahme: |
Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 330
|
Schlagwörter: | |
Quelle: | Verbunddaten SWB |
Zugangsinformationen: | Gö |
Magazin Zittau
Barcode | Regalstandort | Anmerkungen | Status | Fällig am |
---|---|---|---|---|
01883992 | 01883992 | Verfügbar |