Temporal logic : First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
Author(s)
Bibliographic Information
Temporal logic : First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
（Lecture notes in computer science, 827 . Lecture notes in artificial intelligence）
Springer-Verlag, c1994
- : gw
- : us
Available at / 59 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
: gwL/N||LNCS||82794027191
-
University of Tsukuba Library, Library on Library and Information Science
: gw007.08:L-49:827941002890
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
: gwdc20:511.3/g1112070306250
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index
