指定した検索語 - alterations ((conditional programming) or (functional programming)) definitions proofs virus~ - に合致する資料はありませんでした。

少々検索語を変更した方が良いでしょう。:
conditional programming » additional programming, nutritional programming, unconventional programming
definitions proofs » definitions process, definitions prior, definitions from
proofs virus » proofs via, proofs first, proofs hips
functional » function

検索結果が意図したものでない場合は、検索語を変更してもう一度検索してください。