Preface

Dov Gabbay, Hans Jürgen Ohlbach

Research output: Contribution to journal › Editorial

Original language	English
Pages (from-to)	V-VII
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	827 LNAI
State	Published - 1994
Event	1st International Conference on Temporal Logic, ICTL 1994 - Bonn, Germany Duration: 11 Jul 1994 → 14 Jul 1994

Cite this

@article{fca9083968794986886597896df7945e,

title = "Preface",

author = "Dov Gabbay and Ohlbach, {Hans J{\"u}rgen}",

year = "1994",

language = "אנגלית",

volume = "827 LNAI",

pages = "V--VII",

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

issn = "0302-9743",

publisher = "Springer Verlag",

note = "1st International Conference on Temporal Logic, ICTL 1994 ; Conference date: 11-07-1994 Through 14-07-1994",

}

TY - JOUR

T1 - Preface

AU - Gabbay, Dov

AU - Ohlbach, Hans Jürgen

PY - 1994

Y1 - 1994

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

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.editorial???

AN - SCOPUS:85028005549

SN - 0302-9743

VL - 827 LNAI

SP - V-VII

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 - 1st International Conference on Temporal Logic, ICTL 1994

Y2 - 11 July 1994 through 14 July 1994

ER -