Bibliothekskatalog Rheinland-Pfalz

Cookie	Anbieter	Beschreibung	Speicherdauer
COPOPENAUTH	OCLC	Ein Cookie, der sich eine erfolgreiche Anmeldung merkt.	10 Jahre nach Erstellung
EU_LAW_INFO	OCLC	Der Cookie wird gespeichert, sobald der Anwender die Verwendung von Cookies zur Kenntnis genommen hat.	10 Jahre nach Erstellung
.ASPXANONYMOUS	DNN	Der Cookie speichert eine eindeutige ID für anonyme Anwender.	ca 70 Tage
.DOTNETNUKE	DNN	Der Cookie wird bei der Anmeldung erzeugt.	Session
ASP.NET_SessionId	ASP.NET	Identifiziert die Session von ASP.NET.	Session
authentication	OCLC	Speichert, über welchen Anmeldeweg der Leser sich angemeldet hat. DNN (DNN Login), COP (OPEN Login), "" (Nicht angemeldet)	Session
dnn_IsMobile	DNN	Der Cookie speichert, ob der Anwender ein mobiles Gerät verwendet.	Session
languague	DNN	Der Cookie speichert die aktuell eingestellte Sprache.	Session
LastPageId	DNN	Der Cookie speichert die ID (TabID) des letzten besuchten Reiters.	Session
__RequestVerificationToken	DNN	Der Cookie bietet Schutz vor Cross-Site-Attacken.	Session
SplashPageView	DNN	Der Cookie steuert die einmalige Anzeige der Begrüßungsseite.	Session
RepeaterCategories, RepeaterGroup	DNNGo	Cookies des DNN-Moduls xPlugin für Layout-Einstellungen.	Session

Cookie	Anbieter	Beschreibung	Speicherdauer
GOOGLE_ANALYTICS_INFO	OCLC	Der Cookie wird gesetzt, wenn der Anwender der Verwendung des Tracking Tools Google Analytics zugestimmt hat.	1 Jahr
_ga, _ga_<container-id>	Google Analytics	Der Cookie _ga speichert die Google Analytics-Client-ID zur Unterscheidung von Nutzern, _ga_<container-id> dient der Persistierung des Sitzungsstatus (vorausgesetzt der Anwender hat dem Tool zugestimmt, siehe Cookie GOOGLE_ANALYTICS_INFO).	2 Jahre
_Module_359_Survey_0_, AppearanceSecurityOptions, CSVExportOptions	DNN	Die Cookies werden vom optionalen 3rd Party DNN-Modul Survey verwendet.	bis 31.12.9999, 20 Minuten, 20 Minuten

Cookie	Anbieter	Beschreibung	Speicherdauer
Liste aller Einstellungs-Cookies von OPEN:	OCLC	Die Cookies steuern den aufgeklappt/zugeklappt - Status bei den einzelnen Bereichen innerhalb der Einstellungen sowie die Sichtbarkeit der Header.	Session
StayInEditMode	DNN	Der Cookie steuert, ob sich die Oberfläche im Bearbeitungsmodus befindet.	Session
cem_pending, CEM_CallbackData, CEM_ExistingModule, CEM_NewModuleId	DNN	Diese Cookies werden beim Hinzufügen bzw. Klonen von Modulen im Bearbeitungsmodus verwendet.	Session

Geben Sie einfach den Autor oder die Autorin ein, den Titel oder ein Stichwort

Suche verfeinern (Erweiterte Suche)

Meinten Sie: prädikatenlogik

Bd. 2.; Prädikatenlogik

Jahr: 1976

Reihe: dtv : Wissenschaftliche-Reihe; 4119

Mediengruppe: Sachbuch

lädt

Berechenbarkeit, Komplexität, Logik

Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

Verfasser: Börger, Egon

Jahr: 1992

Verlag: Wiesbaden, Vieweg

lädt

First-order logic and automated theorem proving

Verfasser: Fitting, Melvin

Jahr: 1996

Verlag: Berlin, Springer

Reihe: Graduate texts in computer science

lädt

Prädikatenlogik

Verfasser: Varga, Tamàs

Jahr: 1973

Übergeordnetes Werk: Mathematische Logik für Anfänger

lädt

Einführung in die formale Logik

Verfasser: Harbeck, Gerd

Jahr: 1966

Verlag: Braunschweig, Viewig

Reihe: Beiträge für den mathematischen Unterricht; 10

Mediengruppe: Sachbuch

lädt

Logik für Informatiker

Verfasser: Schöning, Uwe

Jahr: 2000

Verlag: Heidelberg, Spektrum Akad. Verlag

Mediengruppe: Sachbuch

lädt

Bedeutende Theorien des 20. Jahrhunderts

ein Vorstoß zu den Grenzen von Berechenbarkeit und Erkenntnis ; Quantenmechanik, Relativitätstheorie, Gravitation, Kosmologie, Chaostheorie, Prädikatenlogik

Verfasser: Kinnebrock, Werner

Medienkennzeichen: BS - Sachbuch

Jahr: 1999

Verlag: München, Oldenbourg

lädt

OPEN V 11.1.0.0

Startseite

Verfasser

Verlag

Mediengruppe

Zweigstellen

Verfasser

Verlag

Mediengruppe