External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Foreword to the Special Issue on Automated Reasoning

Pascal Fontaine, Cezary Kaliszyk, Stephan Schulz 0001, Josef Urban. Foreword to the Special Issue on Automated Reasoning. AI Commun., 31(3):235-236, 2018. [doi]

Authors

Pascal Fontaine

This author has not been identified. Look up 'Pascal Fontaine' in Google

Cezary Kaliszyk

This author has not been identified. Look up 'Cezary Kaliszyk' in Google

Stephan Schulz 0001

This author has not been identified. Look up 'Stephan Schulz 0001' in Google

Josef Urban

This author has not been identified. Look up 'Josef Urban' in Google
runs on