La vostra cerca - "((functions computational) or (interactions conditional)) programming reasoning acl2 citrus*" - no coincideix cap recurs.

Potser podríeu intentar variants ortogràfiques:
interactions conditional » instructions conditional, alterations conditional, interaction conditions
functions computational » functions computation, function computation, directions computational
programming reasoning » programming learning, programming designing, programming evolving
reasoning acl2 » reasoning a, reasoning 12, reasoning 2
acl2 citrus » acid citrus, barli citrus

Pot obtenir més resultats si ajusta la seva cerca.