Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=04226572X
Link zu diesem Datensatz | https://d-nb.info/gnd/4226572-1 |
Sachbegriff | Gleichungstheorie |
Quelle | Vorlage |
Erläuterungen | Definition: Begriff aus d. Gebiet d. Deduktionssysteme (Künstliche Intelligenz) |
Synonyme | Equational theory |
DDC-Notation | 512.94 |
Systematik | 30 Informatik, Datenverarbeitung |
Andere Normdaten |
LCSH: Equations, Theory of RAMEAU: Équations, Théorie des |
Thema in |
18 Publikationen
|