First-order Logic
| Program
| first order logic abbr. | |
| gen. | Prädikatenlogik der ersten Stufe |
| IT | Prädikatenlogik 1.Ordnung; Prädikatenlogik |
| first-order logic abbr. | |
| AI. | Prädikatenkalkül erster Ordnung; Prädikatenlogik erster Ordnung; Quantorenlogik erster Ordnung |
| program abbr. | |
| construct. | Ausstattungsprogramm; Baubetriebsplan; Bauablaufplan |
| programme abbr. | |
| brit. | Programm; Sendung; Theaterzettel |
| busin. | Programm |
| cultur. | Hörfunk-und Fernsehprogramm |
| tech. | Plan; Programm |
|
First-order Logic : 7 phrases in 2 subjects |
| Artificial intelligence | 4 |
| Information technology | 3 |