Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 

Ergebnis der Suche nach: nid=7505292-1



Treffer 1 von 1 < < > <



Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/7505292-1
Hinweis für Prädikatenlogik erster Stufe
Benutze Kombination Prädikatenlogik AND Stufe 1
Quelle M als Prädikatenlogik erster Stufe
Wikipedia (Stand: 12.05.2023): https://de.wikipedia.org/w/index.php?title=Pr%C3%A4dikatenlogik_erster_Stufe&oldid=223848032
Synonyme First-order predicate calculus
Logik erster Ordnung
First-order logic
FOL
Predicate calculus
Theorie erster Stufe
Theorie erster Ordnung <Logik>
Systematik 28 Mathematik





Treffer 1 von 1
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration