webOPAC der HTW

Bibliothekskatalog (1/1)

Instantiation theory on the foundations of automated deduction Verfasser: Williams, James G. Ort/Verlag/ISBN, Verlag, Jahr: Berlin [u.a.], Springer, 1991 Umfangsangabe: 1 Online-Ressource (VIII, 133 S.) Schlagwort: Instantiierung Schlagw2: Deduktionssystem Schlagw3: Automatisches Beweisverfahren Schlagw4: Formale Sprache ISBN: 3-540-54333-3,0-387-54333-3 in die Merkliste \| übergeordnete Titel \| Persistenter Link Kopieren Sie diesen Link um auf dieses Werk Bezug zu nehmen: https://sisis.rz.htw-berlin.de/search?bvnr=BV035775247

Sprache: eng Verfasser: Williams, James G. Titel: Instantiation theory Zusatz: on the foundations of automated deduction Verf.Vorlag: J. G. Williams Ort/Verlag/ISBN: Berlin [u.a.] Verlag: Springer Umfangsangabe: 1 Online-Ressource (VIII, 133 S.) Schlagwort: Instantiierung Schlagw2: Deduktionssystem Schlagw3: Automatisches Beweisverfahren Schlagw4: Formale Sprache Schlagw5: Instantiierung / Deduktion / Programm Notation: SS 4800 Serie/Reihe: Lecture notes in computer science ; 518 : Lecture notes in artificial intelligence

weitere Optionen

Datenbank-Auswahl
Auswahl
ändern

Externe Fernleihe

Vorgehensweise:
1. Als Benutzer anmelden
2. Im Reiter Datenbank-Auswahl die gewünschten Kataloge auswählen und Recherche starten
3. In der Einzeltrefferanzeige in den Reiter Wie komme ich an das Medium? wechseln
4. Auf den Button auswählen klicken und die Fernleihmaske ergänzen (bspw. Abholort)
5. Über den Button Weiter kann die Bestellung noch einmal überprüft und anschließend abgeschickt werden
6. Fertig!

Öffnungszeiten

Bitte informieren Sie sich auf der Webseite der Bibliothek über die aktuellen Öffnungszeiten.

Anschaffungswunsch

Liebe Leserinnen und Leser, bitte nutzen Sie für Ihren Anschaffungswunsch diesen Link

Standort

Kürzel	Standort
60	Mediathek
	Zentralbibliothek Campus Treskowallee
82	Lesesaal 1, Zeitschriftenmagazin
83	Gebäude B, Zeitschriftenmagazin
90	Ausleihe
91	Lesesaal 2
92	Lesesaal 1
	Bibliothek Campus Wilhelminenhof
94, 97, 98, 99	Bibliothek Wilhelminenhof

Interne Bestellung

Vorgehensweise:
1. Im Reiter Suche eingrenzen
den Campus auswählen
2. Als Benutzer anmelden
3. Recherche durchführen
4. In der Trefferliste auf den Hinweis bestellbar achten
5. In der Einzeltrefferanzeige in den Reiter Wie komme ich an das Medium? wechseln
6. Bestellung durch Klicken auf vormerken/bestellen abschicken
7. Fertig!