Published January 29, 2016 | Version v1
Other Open

Preface: Twenty Years of the QED Manifesto

Authors/Creators

  • 1. Intel
  • 2. RU Nijmegen
  • 3. CTU

Description

This special issue is dedicated to the 20th anniversary of the QED Manifesto and the related 1994
and 1995 QED Workshops.

Files

5974-Article Text-17605-1-10-20160127.pdf

Files (107.6 kB)

Name Size Download all
md5:4d6127a54dbb1d8e7df9010f52183c02
107.6 kB Preview Download

Additional details

Funding

European Commission
AI4REASON - Artificial Intelligence for Large-Scale Computer-Assisted Reasoning 649043