Empirically successful computerized reasoning

Renate A. Schmidt, Geoff Sutcliffe, Stephan Schulz

Research output: Contribution to journalEditorial

Original languageEnglish (US)
Number of pages1
JournalJournal of Applied Logic
Volume7
Issue number1
DOIs
StatePublished - Mar 1 2009

ASJC Scopus subject areas

  • Logic
  • Applied Mathematics

Cite this