Navigation überspringen
Universitätsbibliothek Heidelberg
Status: bestellen
> Bestellen/Vormerken
Signatur: UBN/ST 304 B632(2)   QR-Code
Standort: Zweigstelle Neuenheim / Magazin INF 329
Exemplare: siehe unten

+ Andere Auflagen/Ausgaben
Titel:Deduktionssysteme
Titelzusatz:Automatisierung des logischen Denkens
Mitwirkende:Bläsius, Karl Hans [Hrsg.]   i
Verf.angabe:hrsg. von K. H. Bläsius und H.-J. Bürckert. Mit Beitr. von K. H. Bläsius ...
Ausgabe:2., völlig überarb. und erw. Aufl.
Verlagsort:München ; Wien
Verlag:Oldenbourg
Jahr:1992
Umfang:VIII, 291 S.
Illustrationen:Ill., graph. Darst.
Format:24 cm
Fussnoten:Literaturangaben
ISBN:3-486-22033-0
 978-3-486-22033-9
URL:: Inhaltsverzeichnis ; Verlag: http://d-nb.info/920578071/04
 : Inhaltstext: http://zbmath.org/?q=an:0781.68002
Schlagwörter:(s)Deduktionssystem   i
 (s)Deduktionssystem   i
Sprache:ger
Altbestandsnotation:SysK: Math B 060 - 099
RVK-Notation:ST 285   i
 SK 130   i
 ST 300   i
 ST 304   i
K10plus-PPN:118057421
Exemplare:

SignaturQRStandortStatus
UBN/ST 304 B632(2)QR-CodeZweigstelle Neuenheim / Magazin INF 329bestellbar
Mediennummer: 03613355
BlaesiQR-CodeBereichsbibl. Mathematik+InformatikPräsenznutzung
Mediennummer: 34101815, Inventarnummer: 92/160

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