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
 
 

Ergebnis der Suche nach: dcs=512.94*

Zurück zur Trefferliste


Treffer 176 von 270 < < > <



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 176 von 270
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration