Preface

Martin Davis; Ansgar Fehnker; Annabelle McIver; Andrei Voronkov

Preface

Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov

School of Computing

Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript/introduction

Original language	English
Title of host publication	Logic for Programming, Artificial Intelligence, and Reasoning
Subtitle of host publication	20th International Conference, LPAR-20 2015 Suva, Fiji, November 24–28, 2015, Proceedings
Editors	Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
Place of Publication	Berlin
Publisher	Springer, Springer Nature
Number of pages	1
ISBN (Electronic)	9783662488997
ISBN (Print)	9783662488980
Publication status	Published - 2015
Event	20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-20, 2015 - Suva, Fiji Duration: 24 Nov 2015 → 28 Nov 2015

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer
Volume	9450
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-20, 2015
Abbreviated title	LPAR-20
Country/Territory	Fiji
City	Suva
Period	24/11/15 → 28/11/15

Cite this

Davis, M., Fehnker, A., McIver, A., & Voronkov, A. (2015). Preface. In M. Davis, A. Fehnker, A. McIver, & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015 Suva, Fiji, November 24–28, 2015, Proceedings (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9450). Springer, Springer Nature.

Davis, Martin ; Fehnker, Ansgar ; McIver, Annabelle et al. / Preface. Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015 Suva, Fiji, November 24–28, 2015, Proceedings. editor / Martin Davis ; Ansgar Fehnker ; Annabelle McIver ; Andrei Voronkov. Berlin : Springer, Springer Nature, 2015. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{1320c45b29754968a3ba40e1f2f70385,

title = "Preface",

author = "Martin Davis and Ansgar Fehnker and Annabelle McIver and Andrei Voronkov",

year = "2015",

language = "English",

isbn = "9783662488980",

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

publisher = "Springer, Springer Nature",

editor = "Martin Davis and Ansgar Fehnker and Annabelle McIver and Andrei Voronkov",

booktitle = "Logic for Programming, Artificial Intelligence, and Reasoning",

address = "United States",

note = "20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-20, 2015, LPAR-20 ; Conference date: 24-11-2015 Through 28-11-2015",

}

Davis, M, Fehnker, A , McIver, A & Voronkov, A 2015, Preface. in M Davis, A Fehnker, A McIver & A Voronkov (eds), Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015 Suva, Fiji, November 24–28, 2015, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9450, Springer, Springer Nature, Berlin, 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-20, 2015, Suva, Fiji, 24/11/15.

Preface. / Davis, Martin; Fehnker, Ansgar ; McIver, Annabelle et al.
Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015 Suva, Fiji, November 24–28, 2015, Proceedings. ed. / Martin Davis; Ansgar Fehnker; Annabelle McIver; Andrei Voronkov. Berlin: Springer, Springer Nature, 2015. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9450).

Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript/introduction

TY - CHAP

T1 - Preface

AU - Davis, Martin

AU - Fehnker, Ansgar

AU - McIver, Annabelle

AU - Voronkov, Andrei

PY - 2015

Y1 - 2015

UR - http://doi.org/10.1007%2F978-3-662-48899-7

M3 - Foreword/postscript/introduction

SN - 9783662488980

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

BT - Logic for Programming, Artificial Intelligence, and Reasoning

A2 - Davis, Martin

A2 - Fehnker, Ansgar

A2 - McIver, Annabelle

A2 - Voronkov, Andrei

PB - Springer, Springer Nature

CY - Berlin

T2 - 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-20, 2015

Y2 - 24 November 2015 through 28 November 2015

ER -

Davis M, Fehnker A , McIver A, Voronkov A. Preface. In Davis M, Fehnker A, McIver A, Voronkov A, editors, Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015 Suva, Fiji, November 24–28, 2015, Proceedings. Berlin: Springer, Springer Nature. 2015. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Preface

Publication series

Conference

Other files and links

Cite this