Login / Signup

A Discourse on Guessing and Reasoning.

Enric Trillas
Published in: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Keyphrases