Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

Ergebnis der Suche nach: dcs=004*

Zurück zur Trefferliste


Treffer 12032 von 12212 < < > <



Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/4253260-7
Sachbegriff THEOPOGLES
Quelle Vorlage
Synonyme Theorembeweiser über Polynom-Gleichungen erster Stufe
Oberbegriffe Beispiel für: Programm
Thematischer Bezug Automatisches Beweisverfahren
DDC-Notation 004.0151
Systematik 30m Informatikprodukte (Hardware- und Softwareprodukte)
Typ Softwareprodukt (siw)





Treffer 12032 von 12212
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration