Preface to the special issue for The Fifth Workshop on Formal Topology.

Thierry Coquand Maria Emilia Maietti Erik Palmgren

Published in: J. Log. Anal. (2019)

Keyphrases

special issue
workshop on data mining
ai edam
ecml pkdd
international journal
case study
panel discussion
applied intelligence
formal model
special section
formal specification
real world
information systems
expert systems
information technology