- Hauptmenü-

Katalogdatenanzeige

Graph-based proof procedures for Horn clauses

Exemplarinformationen Katalogdatensatz500016890 .
Kataloginformation Katalogdatensatz500016890 .

Kataloginformation
Feldname	Details
Vorliegende Sprache	eng
Name	Raatz, Stan
T I T E L	Graph-based proof procedures for Horn clauses
Verlagsort	Boston ; [Stuttgart] [u.a.]
Verlag	Birkhäuser
Erscheinungsjahr	1990
Erscheinungsjahr	1990
Umfang	147 S : graph. Darst
Format	24 cm
Reihe	Progress in computer science and applied logic ; 10
Reihe	Progress in computer science and applied logic
Band	10
Notiz / Fußnoten	Literaturverz. S. [142] - 147
Notiz / Fußnoten	Zugl.: Univ. of Pennsylvania, Diss., 1987
ISBN	ISBN 0-8176-3530-0 ((Boston)
ISBN	ISBN 3-7643-3530-0 : DM 62.00 ((Basel ...)
Klassifikation	*68T15
	03B35
	68-02
	005.1
	ST 130
	SK 130
1. Schlagwortkette	Horn-Klausel
1. Schlagwortkette ANZEIGE DER KETTE	Horn-Klausel
2. Schlagwortkette	Horn-Klausel
2. Schlagwortkette	Logische Programmierung
ANZEIGE DER KETTE	Horn-Klausel -- Logische Programmierung
3. Schlagwortkette	Logische Programmierung
	Horn-Klausel
	Automatisches Beweisverfahren
ANZEIGE DER KETTE	Logische Programmierung -- Horn-Klausel -- Automatisches Beweisverfahren
SWB-Titel-Idn	023293764
Signatur	27 800
Signatur	ST 130 R111
Bemerkungen	Sei
Internetseite / Link	Inhaltstext

ISBD-Anzeige Katalogdatensatz500016890

Kategorien-Anzeige Katalogdatensatz500016890

Bände anzeigen Katalogdatensatz500016890

Titel zur Titelsammlung hinzufügen Katalogdatensatz500016890

Kataloginformation500016890 Datensatzanfang . Kataloginformation500016890 Seitenanfang .

Exemplarinformationen
Barcode	Regalstandort	Literaturabteilung	Bandzählg.	Zweigstelle	Status	Fälligkeitsdat.
00012999	27 800/1	Magazin		Hauptbibliothek .	. Verfügbar .

Titel vormerken Katalogdatensatz500016890

. Katalogdatensatz500016890 ItemInfo Datensatzanfang . Katalogdatensatz500016890 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.