Special issue on dynamic geometry and automated reasoning.

Francisco Botana Zoltán Kovács Tomás Recio

Published in: J. Symb. Comput. (2020)

Keyphrases

special issue
automated reasoning
international journal
reasoning systems
theorem proving
probabilistic reasoning
knowledge representation
reasoning tasks
ecml pkdd
theorem prover
ai edam
applied intelligence
special section
search space
software engineering
pairwise
image segmentation