Sixth Automated Reasoning Workshop: Bridging the Gap Between Theory and Practice : 8-9 April 1999, University of Edinburgh, Edinburgh, Scotland

Publication Data

• Title Sixth Automated Reasoning Workshop: Bridging the Gap Between Theory and Practice : 8-9 April 1999, University of Edinburgh, Edinburgh, Scotland
• Alternative Title Proceedings of the 6th Workshop on Automated Reasoning: Bridging the Gap Between Theory and Practice : 6th-9th April, 1999, Edinburgh College of Art & Division of Informatice, University of Edinburgh
• Contributors Society for the Study of Artificial Intelligence and Simulation of Behaviour, Edinburgh College of Art, Edinburgh College of Art
• Publisher Society for the Study of Artificial Intelligence and Simulation of Behaviour
• Publication date 1999
• Publication location Edinburgh
• Language English

Descriptive Notes

At head of title: AISB '99.
Other title: Proceedings of the 6th Workshop on Automated Reasoning: Bridging the Gap Between Theory and Practice : 6th-9th April, 1999, Edinburgh College of Art & Division of Informatice, University of Edinburgh.

Topics

• Reasoning :: Congresses
• Automatic theorem proving :: Congresses
• 009499119

Sixth Automated Reasoning Workshop: Bridging the Gap Between Theory and Practice : 8-9 April 1999, University of Edinburgh, Edinburgh, Scotland. ISBN 1902956087. Published by Society for the Study of Artificial Intelligence and Simulation of Behaviour in 1999. Publication and catalogue information, links to buy online and reader comments.