Preface

Jasmin Blanchette; Laura Kovács; Dirk Pattinson

doi:10.1007/978-3-031-10769-6

Preface

Jasmin Blanchette, Laura Kovács, Dirk Pattinson

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

Original language	English
Title of host publication	Automated Reasoning
Subtitle of host publication	11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings
Editors	Jasmin Blanchette, Laura Kovács, Dirk Pattinson
Publisher	Springer
Pages	v-v
Number of pages	1
ISBN (Electronic)	9783031107696
ISBN (Print)	9783031107689
DOIs	https://doi.org/10.1007/978-3-031-10769-6
Publication status	Published - 2022
Event	11th International Joint Conference on Automated Reasoning, IJCAR 2022, part of the Federated Logic Conference, FLoC 2022 - Haifa, Israel Duration: 8 Aug 2022 → 10 Aug 2022

Publication series

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

Conference

Conference	11th International Joint Conference on Automated Reasoning, IJCAR 2022, part of the Federated Logic Conference, FLoC 2022
Country/Territory	Israel
City	Haifa
Period	8/08/22 → 10/08/22

Access to Document

10.1007/978-3-031-10769-6

Persistent URL (handle)

Copy link address

Cite this

Blanchette, J., Kovács, L., & Pattinson, D. (2022). Preface. In J. Blanchette, L. Kovács, & D. Pattinson (Eds.), Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings (pp. v-v). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13385 LNAI). Springer. https://doi.org/10.1007/978-3-031-10769-6

Blanchette, Jasmin ; Kovács, Laura ; Pattinson, Dirk. / Preface. Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings. editor / Jasmin Blanchette ; Laura Kovács ; Dirk Pattinson. Springer, 2022. pp. v-v (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{6a10090d9df347558631931b8e5e5ee6,

title = "Preface",

author = "Jasmin Blanchette and Laura Kov{\'a}cs and Dirk Pattinson",

year = "2022",

doi = "10.1007/978-3-031-10769-6",

language = "English",

isbn = "9783031107689",

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

publisher = "Springer",

pages = "v--v",

editor = "Jasmin Blanchette and Laura Kov{\'a}cs and Dirk Pattinson",

booktitle = "Automated Reasoning",

note = "11th International Joint Conference on Automated Reasoning, IJCAR 2022, part of the Federated Logic Conference, FLoC 2022 ; Conference date: 08-08-2022 Through 10-08-2022",

}

Blanchette, J, Kovács, L & Pattinson, D 2022, Preface. in J Blanchette, L Kovács & D Pattinson (eds), Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13385 LNAI, Springer, pp. v-v, 11th International Joint Conference on Automated Reasoning, IJCAR 2022, part of the Federated Logic Conference, FLoC 2022, Haifa, Israel, 8/08/22. https://doi.org/10.1007/978-3-031-10769-6

Preface. / Blanchette, Jasmin; Kovács, Laura; Pattinson, Dirk.
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings. ed. / Jasmin Blanchette; Laura Kovács; Dirk Pattinson. Springer, 2022. p. v-v (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13385 LNAI).

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

TY - CHAP

T1 - Preface

AU - Blanchette, Jasmin

AU - Kovács, Laura

AU - Pattinson, Dirk

PY - 2022

Y1 - 2022

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

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

U2 - 10.1007/978-3-031-10769-6

DO - 10.1007/978-3-031-10769-6

M3 - Foreword/postscript

AN - SCOPUS:85135829243

SN - 9783031107689

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

SP - v-v

BT - Automated Reasoning

A2 - Blanchette, Jasmin

A2 - Kovács, Laura

A2 - Pattinson, Dirk

PB - Springer

T2 - 11th International Joint Conference on Automated Reasoning, IJCAR 2022, part of the Federated Logic Conference, FLoC 2022

Y2 - 8 August 2022 through 10 August 2022

ER -

Blanchette J, Kovács L, Pattinson D. Preface. In Blanchette J, Kovács L, Pattinson D, editors, Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings. Springer. 2022. p. v-v. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). Epub 2022 Aug 1. doi: 10.1007/978-3-031-10769-6

Preface

Publication series

Conference

Access to Document

Persistent URL (handle)

Other files and links

Cite this