Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: idn=920916341

Treffer 1 von 1

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

Exemplarbezogene Daten stehen derzeit nicht zur Verfügung. Die Online-Bestellung von Medien ist deshalb nicht möglich.

Treffer 1 von 1