- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
59 S.
- Sprache
-
Englisch
- Erschienen in
-
CIS-Bericht / Centrum für Informations- und Sprachverarbeitung ; 74
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:01 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Stärk, Robert F.
- CIS
Entstanden
- [1994]
Ähnliche Objekte (12)
A new correctness proof for prim's algorithm
A machine-checked proof of correctness of Pastry
Design and proof of multipliers by correctness-preserving transformation
A WAM extension for type constraint logic programming : specification and correctness proof
Compositionality, concurrency, and partial correctness : proof theories for networks of processes, and their relationship
Political Correctness
Proof Mining and the Convex Feasibility Problem : the Curious Case of Dykstra's Algorithm
Fuck no! Political correctness
Political Correctness - oder Denkverbote?
Political Correctness : ein Streitgespräch
Political Correctness in Handelsunternehmen
Meinungsfreiheit gegen Political Correctness
A new correctness proof for prim's algorithm
A machine-checked proof of correctness of Pastry
Design and proof of multipliers by correctness-preserving transformation
A WAM extension for type constraint logic programming : specification and correctness proof
Compositionality, concurrency, and partial correctness : proof theories for networks of processes, and their relationship
Political Correctness
Proof Mining and the Convex Feasibility Problem : the Curious Case of Dykstra's Algorithm
Fuck no! Political correctness
Political Correctness - oder Denkverbote?
Political Correctness : ein Streitgespräch
Political Correctness in Handelsunternehmen
Meinungsfreiheit gegen Political Correctness
A new correctness proof for prim's algorithm
A machine-checked proof of correctness of Pastry
Design and proof of multipliers by correctness-preserving transformation
A WAM extension for type constraint logic programming : specification and correctness proof
Compositionality, concurrency, and partial correctness : proof theories for networks of processes, and their relationship
Political Correctness
Proof Mining and the Convex Feasibility Problem : the Curious Case of Dykstra's Algorithm
Fuck no! Political correctness
Political Correctness - oder Denkverbote?
Political Correctness : ein Streitgespräch
Political Correctness in Handelsunternehmen