Trending Papers
Published on Unknown
Predicate logic as a modeling language: the IDP system
PDF
Search
Scholar
0
0
0
Posts