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

Nachum Dershowitz; Andrei Voronkov

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

School of Computer Science

Research output: Contribution to journal › Editorial

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	4790 LNAI
State	Published - 2007
Event	14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007 - Yerevan, Armenia Duration: 15 Oct 2007 → 19 Oct 2007

Cite this

@article{694b11e745eb43e383f42f7bb41ca442,

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

author = "Nachum Dershowitz and Andrei Voronkov",

year = "2007",

language = "אנגלית",

volume = "4790 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 Verlag",

note = "14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007 ; Conference date: 15-10-2007 Through 19-10-2007",

}

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics: Preface. / Dershowitz, Nachum; Voronkov, Andrei.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4790 LNAI, 2007, p. v.

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 - 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007

AU - Dershowitz, Nachum

AU - Voronkov, Andrei

PY - 2007

Y1 - 2007

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

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.editorial???

AN - SCOPUS:38149133110

SN - 0302-9743

VL - 4790 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)

Y2 - 15 October 2007 through 19 October 2007

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