Empirically successful automated reasoning: Systems issue

Bernd Fischer, Geoff Sutcliffe, Stephan Schulz

Research output: Contribution to journalEditorial

Original languageEnglish (US)
Number of pages1
JournalJournal of Automated Reasoning
Volume36
Issue number4
DOIs
StatePublished - Apr 1 2006

ASJC Scopus subject areas

  • Software
  • Computational Theory and Mathematics
  • Artificial Intelligence

Cite this