Eigth Workshop on Automated
Reasoning
Bridging the Gap between Theory and Practice
Participants
The list of participants will be available later.
Overview
|
Organisers
|
Call for Papers
|
Programme
|
Accepted Papers
|
Registration
|
Workshop Series
|
Participants
|
AISB'01 convention