Automated Reasoning around the world and more

Conferences and Associations

Journals:

Electronic Series:

Selected provers, libraries, places, miscellaneous resources:

Publishers:

Databases, repositories and related tools:

CS History:

Funding agencies:

Sites for job searches:

Sites of general interest for research, teaching, computing:

Sites of general interest for environmental issues:



Maria Paola Bonacina