[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

Katalog der Deutschen Nationalbibliothek

Neuigkeiten 24. Dezember 2024 bis 1. Januar 2025: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. Bestellte Medien werden am 2. Januar 2025 bereitgestellt. // From 24 December 2024 to 1 January 2025: The German National Library will be closed at both locations. Ordered media will be made available on 2 January 2025.
 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
Neuigkeiten Bitte beachten Sie unsere geänderten Servicezeiten ab dem 1. November 2024.
 
 

Ergebnis der Suche nach: idn=920916341



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/920916341
Titel Using connectionist networks for guiding the search of a theorem prover / Christian Suttner ; Wolfgang Ertel. [TUM, Technische Universität München, Institut für Informatik, Sonderforschungsbereich 342: Methoden und Werkzeuge für die Nutzung Paralleler Rechnerarchitekturen]
Person(en) Suttner, Christian (Verfasser)
Ertel, Wolfgang (Verfasser)
Verlag München : SFB 342
Zeitliche Einordnung Erscheinungsdatum: 1990
Umfang/Format 18 S. : graph. Darst. ; 21 cm
ISBN/Einband/Preis kart.
Identifikationsnummern Reportnummer: TUM I 9011
Beziehungen Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung Paralleler Rechnerarchitekturen: SFB-Bericht / Reihe A ; Nr. 90,8
Anmerkungen Status nach VGG: vergriffen
Sachgruppe(n) 28 Informatik, Datenverarbeitung

Frankfurt Signatur: DKs 90/4014
Bereitstellung in Frankfurt
Leipzig Signatur: SA 27568-9011
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration