Preface

Pedro Lopez-Garcia; John Gallagher; Roberto Giacobazzi

Preface

Pedro Lopez-Garcia, John Gallagher, Roberto Giacobazzi

Publikation: Bidrag til bog/antologi/rapport › Forord/efterskrift › Forskning

Originalsprog	Engelsk
Titel	Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Redaktører	Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi
Antal sider	3
Vol/bind	13160 LNCS
Forlag	Springer
Publikationsdato	2023
Udgave	Festschrift
Sider	vii-ix
ISBN (Trykt)	9783031314759
ISBN (Elektronisk)	9783031314766
Status	Udgivet - 2023

Navn	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN	0302-9743

Citer dette

Lopez-Garcia, Pedro ; Gallagher, John ; Giacobazzi, Roberto. / Preface. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday. red. / Pedro Lopez-Garcia ; John P. Gallagher ; Roberto Giacobazzi. Bind 13160 LNCS Festschrift. udg. Springer, 2023. s. vii-ix (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{8798f00cc97b4579b9da0fc7a05d90cd,

title = "Preface",

author = "Pedro Lopez-Garcia and John Gallagher and Roberto Giacobazzi",

year = "2023",

language = "English",

isbn = "9783031314759",

volume = "13160 LNCS",

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

publisher = "Springer",

pages = "vii--ix",

editor = "Pedro Lopez-Garcia and Gallagher, {John P.} and Roberto Giacobazzi",

booktitle = "Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems",

edition = "Festschrift",

}

Lopez-Garcia, P, Gallagher, J & Giacobazzi, R 2023, Preface. i P Lopez-Garcia, JP Gallagher & R Giacobazzi (red), Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday. Festschrift udg, bind 13160 LNCS, Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), s. vii-ix.

Preface. / Lopez-Garcia, Pedro; Gallagher, John; Giacobazzi, Roberto.
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday. red. / Pedro Lopez-Garcia; John P. Gallagher; Roberto Giacobazzi. Bind 13160 LNCS Festschrift. udg. Springer, 2023. s. vii-ix (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Publikation: Bidrag til bog/antologi/rapport › Forord/efterskrift › Forskning

TY - GEN

T1 - Preface

AU - Lopez-Garcia, Pedro

AU - Gallagher, John

AU - Giacobazzi, Roberto

PY - 2023

Y1 - 2023

M3 - Preface/postscript

AN - SCOPUS:85159927228

SN - 9783031314759

VL - 13160 LNCS

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

SP - vii-ix

BT - Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

A2 - Lopez-Garcia, Pedro

A2 - Gallagher, John P.

A2 - Giacobazzi, Roberto

PB - Springer

ER -

Lopez-Garcia P, Gallagher J, Giacobazzi R. Preface. I Lopez-Garcia P, Gallagher JP, Giacobazzi R, red., Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday. Festschrift udg. Bind 13160 LNCS. Springer. 2023. s. vii-ix. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).