Special issue on 'Logical frameworks and metalanguages'.

Gérard P. Huet

Published in: J. Funct. Program. (2003)

Keyphrases

special issue
ai edam
applied intelligence
international journal
ecml pkdd
special section
databases
machine learning
artificial intelligence
information systems
logical structure
real world
logical reasoning