Functional and Logic Programming - 9783030590246

Libby - Space Flight and Re-Entry Trajectories International Symposi - X555z

Logic Based Program Synthesis And Transformation : 15th International Symposi...

Balduccini - Logic Programming and Nonmonotonic Reasoning 15th Inter - X555z

Logic Based Program Synthesis And Transformation : 15th International Symposi...

Garrigue - Functional and Logic Programming 9th International Symposi - X555z

Codish - Functional and Logic Programming 12th International Symposi - X555z

Liu - Deontic Logic and Normative Systems. 15th International Confere - X555z