Empirically successful computerized reasoning

Renate A. Schmidt, Geoffrey Sutcliffe, Stephan Schulz

Research output: Contribution to journalArticle

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

ASJC Scopus subject areas

  • Logic
  • Applied Mathematics

Cite this