- Hauptmenü-

Katalogdatenanzeige

¬The¬ efficiency of theorem proving strategies: a comparative and asymptotic analysis

Exemplarinformationen Katalogdatensatz500049371 .
Kataloginformation Katalogdatensatz500049371 .

Kataloginformation
Feldname	Details
Vorliegende Sprache	eng
Name	Plaisted, David A.
Name	Zhu, Yunshan
ANZEIGE DER KETTE	Zhu, Yunshan
T I T E L	¬The¬ efficiency of theorem proving strategies
Zusatz zum Titel	a comparative and asymptotic analysis
Verlagsort	Braunschweig ; Wiesbaden
Verlag	Vieweg
Erscheinungsjahr	1997
Erscheinungsjahr	1997
Umfang	VI, 167 S : graph. Darst
Reihe	Computational intelligence
Notiz / Fußnoten	Literaturverz. S. 155 - 160
ISBN	ISBN 3-528-05574-X
Klassifikation	*68T15
	68-02
	511.3
	QA76.9.A96
	28
	ST 285
1. Schlagwortkette	Automatisches Beweisverfahren
1. Schlagwortkette ANZEIGE DER KETTE	Automatisches Beweisverfahren
2. Schlagwortkette	Automatisches Beweisverfahren
ANZEIGE DER KETTE	Automatisches Beweisverfahren
SWB-Titel-Idn	060155418
Signatur	44 298
Signatur	ST 300 P698
Internetseite / Link	Cover
Siehe auch	Inhaltsverzeichnis
Siehe auch	Inhaltstext

ISBD-Anzeige Katalogdatensatz500049371

Kategorien-Anzeige Katalogdatensatz500049371

Titel zur Titelsammlung hinzufügen Katalogdatensatz500049371

Kataloginformation500049371 Datensatzanfang . Kataloginformation500049371 Seitenanfang .

Exemplarinformationen
Barcode	Regalstandort	Literaturabteilung	Bandzählg.	Zweigstelle	Status	Fälligkeitsdat.
00128900	ST 300 P698	Freihand		Hauptbibliothek .	. Verfügbar .

Titel vormerken Katalogdatensatz500049371

. Katalogdatensatz500049371 ItemInfo Datensatzanfang . Katalogdatensatz500049371 ItemInfo Seitenanfang .

Titelempfehlungen Ihrer Bibliothek
#	Verfasser	Titel
1	. Haubitz, Martin 1	. Kontrollierter Wettbewerb im ÖPNV: ein Erfolgsmodell 1
2	. Königshofen, Mario 2	. Daseinsvorsorge in Zeiten des demographischen Umbruchs 2
3	. Beck, Arne 3	. ¬Der¬ Ausschreibungswettbewerb im Schienenpersonennahverkehr: Markteintrittsbarrieren und Anreizmechanismen bei der Vergabe von Leistungen im SPNV 3
4		. Nahverkehrs-Tage 2019: Finanzierung des öffentlichen Verkehrs: zwischen leistungsorientierten E-Tarifen, preisgünstigen Flats und Drittnutzerfinanzierung 4
5	. Klühspies, Johannes 5	. Stadt - Mobilität - Psyche: mit gefühlsbetonten Verkehrskonzepten die Zukunft urbaner Mobilität gestalten? 5

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.