C o m p u t a t i o n a l    L o g i c

Automated Deduction Systems

Contents

Coordinator's Report
Fourth Workshop on Automated Reasoning
IJCAI-97 Report

[ Automated Deduction Systems ] [ Computational Logic & Machine Learning ] [ Concurrent & Constraint Logic Programming ] [ Language Design, Semantics & Verification Methods ] [ Logic Based Databases ] [ Program Development ] [ Knowledge Representation & Reasoning ]

[ Home ] [ Editorial ] [ Network Activities ] [ Industrial News ] [ International Relations ] [ Area News ] [ Education ]