Empirically successful automated reasoning: Applications issue

Bernd Fischer, Geoff Sutcliffe, Stephan Schulz

Research output: Contribution to journalEditorial

Original languageEnglish (US)
Number of pages1
JournalJournal of Automated Reasoning
Volume37
Issue number1-2
DOIs
StatePublished - Aug 1 2006

ASJC Scopus subject areas

  • Software
  • Computational Theory and Mathematics
  • Artificial Intelligence

Cite this