> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Konferenzbericht Titel: Computer science logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22 - 25, 2005; proceedings Enthält: Literaturangaben Beteiligte: Ong, Luke [Hrsg.] Körperschaft: European Association for Computer Science Logic Veranstaltung: CSL Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2005 Erschienen in: Lecture notes in computer science ; 3634 Umfang: XI, 565 S.; graph. Darst Sprache: Englisch ISBN: 3540282319; 9783540282310 Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 11538363 RVK-Notation: SS 4800 : Lecture notes in computer science Schlagwörter: Theoretische Informatik > Logik Computational logic Logische Programmierung Programmierlogik Theoretische Informatik > Logik Computational logic Logische Programmierung Programmierlogik Entstehung: Anmerkungen: Weitere Bestandsnachweise 0 : Lecture notes in computer science
Bereichsbibliothek DrePunct – Magazin Signatur: R2016 8 7127 Barcode: 31491648 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden