Preface

Research output: Contribution to journal › Editorial › peer-review

Original language	English (US)
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1275
State	Published - 1997
Externally published	Yes
Event	10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 1997 - Murray Hill, United States Duration: Aug 19 1997 → Aug 22 1997

ASJC Scopus subject areas

@article{fb6352d02831491aad850e1877f154b7,

title = "Preface",

author = "Gunter, \{Elsa L.\} and Amy Felty",

year = "1997",

language = "English (US)",

volume = "1275",

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

issn = "0302-9743",

publisher = "Springer",

note = "10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 1997 ; Conference date: 19-08-1997 Through 22-08-1997",

}

TY - JOUR

T1 - Preface

AU - Gunter, Elsa L.

AU - Felty, Amy

PY - 1997

Y1 - 1997

UR - https://www.scopus.com/pages/publications/84949677225

UR - https://www.scopus.com/pages/publications/84949677225#tab=citedBy

M3 - Editorial

AN - SCOPUS:84949677225

SN - 0302-9743

VL - 1275

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)

T2 - 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 1997

Y2 - 19 August 1997 through 22 August 1997

ER -