Foreword

Rajeev Gore, Alexander Leitsch, Tobias Nipkow

Research output: Contribution to journal › Editorial

1 Scopus citations

Original language	English
Pages (from-to)	V
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2083 LNAI
State	Published - 2001
Event	1st International Joint Conference on Automated Reasoning, IJCAR 2001 - Siena, Italy Duration: 18 Jun 2001 → 22 Jun 2001

Cite this

@article{b29c49401eeb47529c78ac9375d8cd84,

title = "Foreword",

author = "Rajeev Gore and Alexander Leitsch and Tobias Nipkow",

year = "2001",

language = "English",

volume = "2083 LNAI",

pages = "V",

journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

note = "1st International Joint Conference on Automated Reasoning, IJCAR 2001 ; Conference date: 18-06-2001 Through 22-06-2001",

}

TY - JOUR

T1 - Foreword

AU - Gore, Rajeev

AU - Leitsch, Alexander

AU - Nipkow, Tobias

PY - 2001

Y1 - 2001

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

M3 - Editorial

AN - SCOPUS:84867771234

SN - 0302-9743

VL - 2083 LNAI

SP - V

JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

T2 - 1st International Joint Conference on Automated Reasoning, IJCAR 2001

Y2 - 18 June 2001 through 22 June 2001

ER -