![]() | ![]() |
Verfasst von: | Uckelman, Sara L. [VerfasserIn] ![]() |
---|---|
Titel: | A quantified temporal logic for ampliation and restriction |
Verf.angabe: | Sara L. Uckelman |
Jahr: | 2013 |
Umfang: | 26 S. |
Titel Quelle: | Enthalten in: Vivarium |
Ort Quelle: | Leiden : Brill, 1963 |
Jahr Quelle: | 2013 |
Band/Heft Quelle: | 51(2013), 1/4, Seite 485-510 |
ISSN Quelle: | 0042-7543 |
Sprache: | eng |
Bibliogr. Hinweis: | Erscheint auch als : Online-Ausgabe: Uckelman, Sara L., 1982 - : A quantified temporal logic for ampliation and restriction. - 2013 |
K10plus-PPN: | 1742739393 |
Verknüpfungen: | → Zeitschrift |