Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
PageMenu
-
Hauptmenü
-
Suchmenü
Einfache Suche
.
Erweiterte Suche
.
Zeitschriften-Suche
.
Suchergebnisse verfeinern
.
Neuerwerbungsliste nach Gruppen
.
Sortierreihenfolge
.
Benutzerdienste
Nutzeranmeldung
.
Mein Konto
.
Erwerbungsvorschlag
.
Fernleihe
.
Vormerkung
.
Verlängerung
.
Weitere Recherchemöglichkeiten
Datenbankinfosystem (DBIS)
.
Karlsruher virtueller Katalog (KVK)
.
Regensburger Systematik (RVK)
.
Elektronische Zeitschriften (EZB)
.
Zeitschriftendatenbank (ZDB)
.
Sitzung beenden
Katalog verlassen
.
Homepage WHZ
.
Hochschulbibliothek
.
© LIBERO v6.4.1sp240211
Page content
Sie befinden sich hier
:
Katalogdatenanzeige
Katalogdatenanzeige
Zur Logik der Logik-Programmierung: ein konstruktiver Ansatz
.
Bookmark für diesen Satz setzen
Katalogdatensatz500012380
.
.
Wikipedia-Verfasserlink
.
.
LibraryThing
.
Exemplarinformationen
Katalogdatensatz500012380
.
Kataloginformation
Katalogdatensatz500012380
.
Kataloginformation
Feldname
Details
Vorliegende Sprache
ger
Name
Beckstein, Clemens
T I T E L
Zur Logik der Logik-Programmierung
Zusatz zum Titel
ein konstruktiver Ansatz
Verlagsort
Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo
Verlag
Springer
Erscheinungsjahr
1988
1988
Umfang
IX, 246 S : graph. Darst
Format
24 cm
Reihe
Informatik-Fachberichte ; 199. Subreihe künstliche Intelligenz
Informatik-Fachberichte
Band
199
Notiz / Fußnoten
Literaturverz. S. [221] - 234
Zugl.: Erlangen, Nürnberg, Univ., Diss. : 1988
ISBN
ISBN 3-540-50720-5
ISBN 0-387-50720-5
Klassifikation
*68-02
68T99
005.1
QA76.63
28
ES 920
SS 4680
ST 230
ST 240
1. Schlagwortkette
Logische Programmierung
1. Schlagwortkette ANZEIGE DER KETTE
Logische Programmierung
2. Schlagwortkette
Logische Programmierung
ANZEIGE DER KETTE
Logische Programmierung
3. Schlagwortkette
RISC
Logik
Programmierung
ANZEIGE DER KETTE
RISC -- Logik -- Programmierung
4. Schlagwortkette
Programmierlogik
ANZEIGE DER KETTE
Programmierlogik
5. Schlagwortkette
Logische Programmierung
ANZEIGE DER KETTE
Logische Programmierung
SWB-Titel-Idn
017153360
Signatur
24 722
ST 304 B397
Bemerkungen
sto
Internetseite / Link
Inhaltsverzeichnis
Siehe auch
Inhaltstext
.
ISBD-Anzeige
Katalogdatensatz500012380
.
Kategorien-Anzeige
Katalogdatensatz500012380
.
Verwandte Werke
Katalogdatensatz500012380
.
Bände anzeigen
Katalogdatensatz500012380
.
Titel zur Titelsammlung hinzufügen
Katalogdatensatz500012380
.
Kataloginformation500012380
Datensatzanfang
.
Kataloginformation500012380
Seitenanfang
.
Exemplarinformationen
Barcode
Regalstandort
Literaturabteilung
Bandzählg.
Zweigstelle
Status
Fälligkeitsdat.
00018034
24 722/1
Magazin
Hauptbibliothek
.
.
Verfügbar
.
Titel vormerken
Katalogdatensatz500012380
.
Katalogdatensatz500012380 ItemInfo
Datensatzanfang
.
Katalogdatensatz500012380 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
Suche nach