|
|
|
|
|
|
by wanderingstan
2366 days ago
|
|
|
Even in German, appears the term was closer to "formal system", not "programming language". "Kalkül is the German term for a formal system—as in Hilbert-Kalkül, the original name for the Hilbert-style deduction system—so Plankalkül refers to a formal system for planning.[2]" |
|
|