Skip to content

This website works best using cookies which are currently disabled.Cookie policy  Allow cookies
United States of America (English) Change
 

F+L

<language> Functions plus Logic. Equational clauses within function definitions to solve for logic variable bindings.

["Functions plus Logic in Theory and Practice", R.B. Kieburtz, Feb 1987, unpublished].

F+L Related Courses

No related courses found

F+L Related Jobs

No related jobs found