> 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 2, Background: Computational structures / vol. co-ordinator Dov M. Gabbay Beteiligte: Gabbay, Dov M. [Sonstige Person, Familie und Körperschaft] Erschienen: Oxford: Clarendon Press, 1992 Erschienen in: Handbook of logic in computer science / ed. by S. Abramsky ... ; 2 Umfang: X, 571 S.; graph. Darst Sprache: Englisch ISBN: 0198537611 RVK-Notation: ST 120 : Grundlagen der Informatik ST 125 : Schaltungstheorie, Rechnerarithmetik, Logik Schlagwörter: Künstliche Intelligenz Informatik > Logik Mathematische Logik > Programmierung Entstehung: Anmerkungen: