lop

Từ điển Máy Tính - Foldoc Dictionary

LOP

A language based on first-order logic.

["SETHEO - A High-Perormance Theorem Prover for First-Order Logic", Reinhold Letz et al, J Automated Reasoning 8(2):183-212 (1992)].

• Từ đồng nghĩa / Synonyms:
  snip, clip, crop, trim, dress, prune, cut back, discerp, sever