Published on Unknown

Predicate logic as a modeling language: the IDP system

0
0
0