| CARVIEW |
Select Language
HTTP/2 303
strict-transport-security: max-age=15552000
server: Apache
location: /941554627/about/html
content-length: 0
date: Sun, 18 Jan 2026 10:18:46 GMT
vary: Accept
HTTP/2 302
strict-transport-security: max-age=15552000
server: Apache
location: https://portal.dnb.de/opac.htm?method=simpleSearch&cqlMode=true&query=idn%3D941554627
content-length: 0
date: Sun, 18 Jan 2026 10:18:46 GMT
HTTP/2 200
expires: 0
cache-control: no-cache, no-store, max-age=0, must-revalidate
set-cookie: JSESSIONID=DPMuT0_kq7l3yKJYDCT1v7YFxvBXsnKoFTtw4e9m.prod-fly0; path=/
server: Apache
x-xss-protection: 1; mode=block
pragma: no-cache
x-frame-options: DENY
date: Sun, 18 Jan 2026 10:18:48 GMT
x-content-type-options: nosniff
strict-transport-security: max-age=31536000 ; includeSubDomains
vary: Accept-Encoding
content-encoding: gzip
content-type: text/html;charset=utf-8
DNB, Katalog der Deutschen Nationalbibliothek
Administration
Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=941554627
|
|
|
| Link zu diesem Datensatz | https://d-nb.info/941554627 |
| Titel | The TPTP problem library / Christian Suttner ; Geoff Sutcliffe ; Theodor Yemenis. TUM, Technische Universität München, Institut für Informatik (H2) |
| Person(en) |
Suttner, Christian (Verfasser) Sutcliffe, Geoff (Verfasser) Yemenis, Theodor (Verfasser) |
| Verlag | München : Inst. für Informatik |
| Zeitliche Einordnung | Erscheinungsdatum: 1993 |
| Umfang/Format | 102 S. : graph. Darst. ; 30 cm |
| ISBN/Einband/Preis | kart. |
| Identifikationsnummern | Reportnummer: FKI 184 93 |
| Beziehungen | Forschungsberichte künstliche Intelligenz |
| Anmerkungen |
Literaturverz. S. 95 - 102 Status nach VGG: vergriffen |
| Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
| Weiterführende Informationen | Inhaltsverzeichnis |
| Frankfurt |
Signatur: 1994 B 9286
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 1994 B 9286
Bereitstellung in Leipzig |
Version 1.8.0.25 / 2025-06-30T11:20:16Seitenanfang

