> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Handbook of logic in computer science / ed. by S. Abramsky 1, Background: Mathematical structures / vol. co-ordinator Dov M. Gabbay Beteiligte: Gabbay, Dov M. [Sonstige Person, Familie und Körperschaft] Erschienen: Oxford: Clarendon Press, 1999 Erschienen in: Handbook of logic in computer science / ed. by S. Abramsky ... ; 1,repr. Ausgabe: Repr. Umfang: XII, 827 S.; graph. Darst Sprache: Englisch ISBN: 0198537352 RVK-Notation: ST 120 : Grundlagen der Informatik Schlagwörter: Mathematische Logik > Informatik > Struktur Entstehung: Anmerkungen: