Title: Logic programming and automated reasoning
First published: 1994
Subjects: Congresses, Logic programming, Automatic theorem proving
LC classification: QA76.63 I565 1994