| English | German |
| arithmetic and logic unit | arithmetische und logische Einheit (Konnektionsmaschine) |
| First-order Logic Program | FOL-Programm (Programm "Logik erster Ordnung"; ein Prüfer für Beweise im Prädikatenkalkül erster Ordnung) |
| limited-logic natural-language system | natürlichsprachiges System mit begrenzter Logik |
| logic decision criterion | logisches Entscheidungskriterium |
| Logic in LISP | eine logische Erweiterung von LISP |
| Logic in LISP | Logik in LISP |
| Logic Machine Architecture | LMA (Logikmaschinenarchitektur, ein Entwurfssystem für automatische Schlußfolgerungsprogramme) |
| logic of surprise | Logik des Erstaunens |
| logic-oriented style of programming | logikorientierter Programmierstil |
| logic-oriented style of programming | logisches Programmieren |
| Logic Theorist | LT (Logik-Theoretiker, ein heuristisches Programm zum Theorembeweisen im Aussagenkalkül) |