> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Horn-Formeln : eine durch Anwendungen motivierte Einschränkung von Eingaben für Theorem-Beweiser Beteiligte: Bergmann, Eberhard [Verfasser:in]; Noll, Helga [Verfasser:in] Erschienen: Berlin: Techn. Univ., Fachbereich 20, Kybernetik, 1974 Erschienen in: Technische Universität Berlin: Bericht / Technische Universität Berlin, Fachbereich 20, Kybernetik ; 74,30 Umfang: 22 Bl Sprache: Deutsch Entstehung: Anmerkungen: Literaturverz. Bl. 20 - 22 Weitere Bestandsnachweise 0 : Bericht
Zentralbibliothek – Magazin Signatur: 75 4 00793 000 01 0 1 Barcode: 10739070N 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.