Большой англо-русский и русско-английский словарь
муж. Pip
Русско-английский словарь математических терминов
abbrev(прикладное исчисление предикатов), applied predicate calculus
Пип в энциклопедиях
муж. Pip
abbrev(прикладное исчисление предикатов), applied predicate calculus