Shortcuts
Bitte warten Sie, bis die Seite geladen ist.
 
PageMenu- Hauptmenü-
Page content

Katalogdatenanzeige

Deduktion: Automatisierung der Logik

Deduktion: Automatisierung der Logik
Kataloginformation
Feldname Details
Vorliegende Sprache ger
Name Bibel, Wolfgang
T I T E L Deduktion
Zusatz zum Titel Automatisierung der Logik
Weitere Titel ¬6.¬ Künstliche Intelligenz
Verlagsort München [u.a.]
Verlag Oldenbourg
Erscheinungsjahr 1992
1992
Umfang 269 S. : graph. Darst.
Reihe Handbuch der Informatik
Handbuch der Informatik
Band 6,2
ISBN ISBN 3-486-20785-7
Klassifikation *68-01
03-01
03B35
68T15
03B22
ST 110
SK 130
ER 620
ST 120
ST 285
ST 304
ST 125
1. Schlagwortkette Deduktionssystem
ANZEIGE DER KETTE Deduktionssystem
SWB-Titel-Idn 027092488
Signatur 35 807
ST 120 B581
Bemerkungen Sei
Internetseite / Link Inhaltsverzeichnis
Siehe auch Inhaltstext
Kataloginformation500020331 Datensatzanfang . Kataloginformation500020331 Seitenanfang .
Exemplarinformationen
Barcode Regalstandort Literaturabteilung Bandzählg. Zweigstelle Status Fälligkeitsdat.
00036248 ST 120 B581
Freihand   Hauptbibliothek . . Verfügbar .  
00036247 ST 120 B581
Freihand   Hauptbibliothek . . NICHT AUSLEIHBAR .  
. Katalogdatensatz500020331 ItemInfo Datensatzanfang . Katalogdatensatz500020331 ItemInfo Seitenanfang .
Vollanzeige Katalogdaten 

Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.

Im Bereich Kataloginformation werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.

Der Bereich Exemplarinformationen enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.
Schnellsuche