Navigation überspringen
Universitätsbibliothek Heidelberg
Status: bestellen
> Bestellen/Vormerken
Signatur: 92 H 791   QR-Code
Standort: Zweigstelle Neuenheim / Magazin INF 329
Exemplare: siehe unten
Verfasst von:Bibel, Wolfgang   i
Titel:Deduktion
Titelzusatz:Automatisierung der Logik
Verf.angabe:von Wolfgang Bibel
Verlagsort:München [u.a.]
Verlag:Oldenbourg
Jahr:1992
Umfang:269 S.
Illustrationen:graph. Darst.
Gesamttitel/Reihe:Handbuch der Informatik / hrsg. von Albert Endres ...
ISBN:3-486-20785-7
 978-3-486-20785-9
Schlagwörter:(s)Deduktionssystem   i
Sprache:ger
Altbestandsnotation:SysK: Math B 065
RVK-Notation:ST 304   i
 ER 620   i
 SK 130   i
 ST 110   i
 ST 120   i
 ST 125   i
 ST 285   i
K10plus-PPN:1097092488
Verknüpfungen:→ Übergeordnete Aufnahme
Exemplare:

SignaturQRStandortStatus
92 H 791QR-CodeZweigstelle Neuenheim / Magazin INF 329bestellbar
Mediennummer: 03607787

Permanenter Link auf diesen Titel (bookmarkfähig):  https://katalog.ub.uni-heidelberg.de/titel/3607787   QR-Code
zum Seitenanfang