> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Konferenzbericht Titel: Conference on Automated Deduction 5, Les Arcs, France, July 8 - 11, 1980 / ed. by W. Bibel .. Beteiligte: Bibel, Wolfgang [Sonstige Person, Familie und Körperschaft] Veranstaltung: Conference on Automated Deduction Erschienen: 1980 Erschienen in: Conference on Automated Deduction ; 5 Lecture notes in computer science ; 87 Umfang: VII, 385 S.; Ill., graph. Darst Sprache: Englisch ISBN: 3540100091; 0387100091 RVK-Notation: QH 500 : Wirtschaftsinformatik. Datenverarbeitung. Allgemeines SS 4800 : Lecture notes in computer science Schlagwörter: Datenverarbeitung > Logik Datenverarbeitung > Logik Beweistheorie > Datenverarbeitung Entstehung: Anmerkungen: Weitere Bestandsnachweise 0 : Lecture notes in computer science
Zentralbibliothek – Magazin Signatur: 0781 00076 001 Barcode: 10129602 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden Bestellungen, die von Mo - Fr bis 13 Uhr eingehen, werden voraussichtlich am selben Tag für Sie bereitgestellt.