Preface

Emanuele De Angelis; Wim Vanhoof

Preface

Emanuele De Angelis, Wim Vanhoof

Faculte d'informatique

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Avant-propos/Préface/post-scriptum

langue originale	Anglais
titre	Logic-Based Program Synthesis and Transformation
Sous-titre	31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings
Lieu de publication	Tallinn
Pages	v-vi
Volume	13290
ISBN (Electronique)	978-3-030-98869-2
Etat de la publication	Publié - 12 mars 2022
Evénement	31st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2021 - Tallinn, Estonie Durée: 7 sept. 2021 → 8 sept. 2021

Série de publications

Nom	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Editeur	Springer Verlag
Volume	13290
ISSN (imprimé)	0302-9743
ISSN (Electronique)	1611-3349

Une conférence

Une conférence	31st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2021
Pays/Territoire	Estonie
La ville	Tallinn
période	7/09/21 → 8/09/21

Autres fichiers et liens

Lien vers la publication sur Scopus

Contient cette citation

@inbook{a440ff802d06413cace4788ed65f2888,

title = "Preface",

author = "{De Angelis}, Emanuele and Wim Vanhoof",

year = "2022",

month = mar,

day = "12",

language = "English",

isbn = "978-3-030-98868-5",

volume = "13290",

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

publisher = "Springer Verlag",

pages = "v--vi",

booktitle = "Logic-Based Program Synthesis and Transformation",

note = "31st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2021 ; Conference date: 07-09-2021 Through 08-09-2021",

}

De Angelis, E & Vanhoof, W 2022, Preface. Dans Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings. VOL. 13290, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOL. 13290, Tallinn, p. v-vi, 31st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, Tallinn, Estonie, 7/09/21.

Preface. / De Angelis, Emanuele; Vanhoof, Wim.
Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings. Vol 13290 Tallinn, 2022. p. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 13290).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Avant-propos/Préface/post-scriptum

TY - CHAP

T1 - Preface

AU - De Angelis, Emanuele

AU - Vanhoof, Wim

PY - 2022/3/12

Y1 - 2022/3/12

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

M3 - Foreword/postscript

AN - SCOPUS:85127033467

SN - 978-3-030-98868-5

VL - 13290

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

SP - v-vi

BT - Logic-Based Program Synthesis and Transformation

CY - Tallinn

T2 - 31st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2021

Y2 - 7 September 2021 through 8 September 2021

ER -