Empirically successful automated reasoning: Applications issue

Bernd Fischer, Geoffrey Sutcliffe, Stephan Schulz

Research output: Contribution to journalArticle

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

ASJC Scopus subject areas

  • Artificial Intelligence

Cite this

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

In: Journal of Automated Reasoning, Vol. 37, No. 1-2, 08.2006, p. 1.

Research output: Contribution to journalArticle

@article{d04f9d34e28e4541998df480ae04c8fd,
title = "Empirically successful automated reasoning: Applications issue",
author = "Bernd Fischer and Geoffrey Sutcliffe and Stephan Schulz",
year = "2006",
month = "8",
doi = "10.1007/s10817-006-9056-8",
language = "English (US)",
volume = "37",
pages = "1",
journal = "Journal of Automated Reasoning",
issn = "0168-7433",
publisher = "Springer Netherlands",
number = "1-2",

}

TY - JOUR

T1 - Empirically successful automated reasoning

T2 - Applications issue

AU - Fischer, Bernd

AU - Sutcliffe, Geoffrey

AU - Schulz, Stephan

PY - 2006/8

Y1 - 2006/8

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

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

U2 - 10.1007/s10817-006-9056-8

DO - 10.1007/s10817-006-9056-8

M3 - Article

AN - SCOPUS:33846553109

VL - 37

SP - 1

JO - Journal of Automated Reasoning

JF - Journal of Automated Reasoning

SN - 0168-7433

IS - 1-2

ER -