Indexed and Fibred Structures for Hoare Logic.

Uwe Wolter Alfio Martini Edward Hermann Häusler

Published in: LSFA (2019)

Keyphrases

database
e learning
logic programming
databases
neural network
real world
decision making
website
decision trees
natural language
evolutionary algorithm
medical images
multi valued
asynchronous circuits
deductive reasoning