Katalog der Deutschen Nationalbibliothek

 

Ergebnis der Suche nach: nid=7505293-3



Treffer 1 von 1 < < > <



Sachbegriffe
Link zu diesem Datensatz http://d-nb.info/gnd/7505293-3
Hinweis für First-order predicate calculus
Benutze Kombination Prädikatenlogik AND Stufe 1
Quelle M als Prädikatenlogik erster Stufe
Systematik 28 Mathematik





Treffer 1 von 1
< < > <


E-Mail-IconAdministration