Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.

Ergebnis der Suche nach: dcs=00*

Zurück zur Trefferliste

Treffer 43559 von 44460


Link zu diesem Datensatz	https://d-nb.info/977563359
Titel	Using resolution as decision procedure / Hans de Nivelle. Max-Planck-Institut für Informatik
Person(en)	Nivelle, Hans de (Verfasser)
Verlag	Saarbrücken : MPI Informatik, Bibliothek & Dokumentation
Zeitliche Einordnung	Erscheinungsdatum: 2005
Umfang/Format	147 S. : graph. Darst. ; 30 cm
ISBN/Einband/Preis	kart.
Identifikationsnummern	Reportnummer: MPI I 2005 2 003
Sprache(n)	Englisch (eng)
Anmerkungen	Enth. 6 Beitr. - Literaturangaben. - Auch im Internet unter der Adresse http://www.mpi-sb.mpg.de verfügbar
DDC-Notation	004.0151135 [DDC22ger]
Sachgruppe(n)	004 Informatik

Frankfurt	Signatur: 2006 B 11320 Bereitstellung in Frankfurt
Leipzig	Signatur: 2006 B 1586 Bereitstellung in Leipzig

Treffer 43559 von 44460

Aktionen

MARC21-XML-Repräsentation dieses Datensatzes

Korrekturanfrage

Administration