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

Résultats de recherche: Contribution à un journal › Éditorial

langue originale	Anglais
Pages (de - à)	V-VI
journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	7364 LNAI
état	Publié - 13 juil. 2012
Evénement	6th International Joint Conference on Automated Reasoning, IJCAR 2012 - Manchester, Royaume-Uni Durée: 26 juin 2012 → 29 juin 2012

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

@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.
Dans: 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.

Résultats de recherche: Contribution à un journal › Éditorial

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 -