Empirically successful automated reasoning: Applications issue

Bernd Fischer, Geoff Sutcliffe, Stephan Schulz

Research output: Contribution to journal › Editorial

Original language	English (US)
Number of pages	1
Journal	Journal of Automated Reasoning
Volume	37
Issue number	1-2
DOIs	https://doi.org/10.1007/s10817-006-9056-8
State	Published - Aug 1 2006

Cite this

@article{d04f9d34e28e4541998df480ae04c8fd,

title = "Empirically successful automated reasoning: Applications issue",

author = "Bernd Fischer and Geoff Sutcliffe and Stephan Schulz",

year = "2006",

month = aug,

day = "1",

doi = "10.1007/s10817-006-9056-8",

language = "English (US)",

volume = "37",

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, Geoff

AU - Schulz, Stephan

PY - 2006/8/1

Y1 - 2006/8/1

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 - Editorial

AN - SCOPUS:33846553109

VL - 37

JO - Journal of Automated Reasoning

JF - Journal of Automated Reasoning

SN - 0168-7433

IS - 1-2

ER -