Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Bernhard Gramlich; Dale Miller; Uli Sattler

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Bernhard Gramlich
, Dale Miller
, Uli Sattler

Research output: Contribution to journal › Editorial

Original language	English
Pages (from-to)	V-VI
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	7364 LNAI
Publication status	Published - 13 Jul 2012
Event	6th International Joint Conference on Automated Reasoning, IJCAR 2012 - Manchester, United Kingdom Duration: 26 Jun 2012 → 29 Jun 2012

Cite this

@article{f86d7da19c3948169667102431362617,

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

author = "Bernhard Gramlich and Dale Miller and Uli Sattler",

year = "2012",

month = jul,

day = "13",

language = "English",

volume = "7364 LNAI",

pages = "V--VI",

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

issn = "0302-9743",

note = "6th International Joint Conference on Automated Reasoning, IJCAR 2012 ; Conference date: 26-06-2012 Through 29-06-2012",

}

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. / Gramlich, Bernhard; Miller, Dale; Sattler, Uli.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7364 LNAI, 13.07.2012, p. V-VI.

Research output: Contribution to journal › Editorial

TY - JOUR

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

T2 - 6th International Joint Conference on Automated Reasoning, IJCAR 2012

AU - Gramlich, Bernhard

AU - Miller, Dale

AU - Sattler, Uli

PY - 2012/7/13

Y1 - 2012/7/13

UR - https://www.scopus.com/pages/publications/84863614467

M3 - Editorial

AN - SCOPUS:84863614467

SN - 0302-9743

VL - 7364 LNAI

SP - V-VI

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)

Y2 - 26 June 2012 through 29 June 2012

ER -

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Other files and links

Cite this