Sixth Automated Reasoning Workshop: Bridging the Gap Between Theory and Practice : 8-9 April 1999, University of Edinburgh, Edinburgh, Scotland.
Workshop on Automated Reasoning: Bridging the Gap Between Theory and Practice(6th :1999:Edinburgh, Scotland)
Society for the Study of Artificial Intelligence and Simulation of Behaviour.
Edinburgh College of Art.
University of Edinburgh.Division of Informatics.
AISB '99 Convention(1999 :Edinburgh, Scotland)
[Edinburgh?] : Society for the Study of Artificial Intelligence and Simulation of Behaviour,
1999.
At head of title: AISB '99.
Includes bibliographical references.
Reasoning
Automated theorem proving
Artificial intelligence