Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
 

Ergebnis der Suche nach: dcs=512.94*

Zurück zur Trefferliste


Treffer 41 von 135 < < > <



Sachbegriffe
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
Typ Allgemeinbegriff (saz)
Andere Normdaten LCSH: Equations, Theory of
RAMEAU: Équations, Théorie des
Thema in 19 Publikationen
  1. Soft typing for clausal inference systems
    Meyer, Christoph, [2004]
  2. Programming, specification and interactive theorem proving
    Stehr, Mark-Oliver, 2002
  3. ...





Treffer 41 von 135
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration