Empirically successful automated reasoning

Systems issue

Bernd Fischer, Geoffrey Sutcliffe, Stephan Schulz

Research output: Contribution to journalArticle

Original languageEnglish (US)
Pages (from-to)287
Number of pages1
JournalJournal of Automated Reasoning
Volume36
Issue number4
DOIs
StatePublished - Apr 2006

ASJC Scopus subject areas

  • Artificial Intelligence

Cite this

Empirically successful automated reasoning : Systems issue. / Fischer, Bernd; Sutcliffe, Geoffrey; Schulz, Stephan.

In: Journal of Automated Reasoning, Vol. 36, No. 4, 04.2006, p. 287.

Research output: Contribution to journalArticle

Fischer, Bernd ; Sutcliffe, Geoffrey ; Schulz, Stephan. / Empirically successful automated reasoning : Systems issue. In: Journal of Automated Reasoning. 2006 ; Vol. 36, No. 4. pp. 287.
@article{79035f45587f40d3a36a1a9a12a8ed0d,
title = "Empirically successful automated reasoning: Systems issue",
author = "Bernd Fischer and Geoffrey Sutcliffe and Stephan Schulz",
year = "2006",
month = "4",
doi = "10.1007/s10817-006-9059-5",
language = "English (US)",
volume = "36",
pages = "287",
journal = "Journal of Automated Reasoning",
issn = "0168-7433",
publisher = "Springer Netherlands",
number = "4",

}

TY - JOUR

T1 - Empirically successful automated reasoning

T2 - Systems issue

AU - Fischer, Bernd

AU - Sutcliffe, Geoffrey

AU - Schulz, Stephan

PY - 2006/4

Y1 - 2006/4

UR - http://www.scopus.com/inward/record.url?scp=33845996520&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33845996520&partnerID=8YFLogxK

U2 - 10.1007/s10817-006-9059-5

DO - 10.1007/s10817-006-9059-5

M3 - Article

VL - 36

SP - 287

JO - Journal of Automated Reasoning

JF - Journal of Automated Reasoning

SN - 0168-7433

IS - 4

ER -