(Ilmumisaeg: 29-Jun-1994, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540582410)
This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL 94), held at Bonn, Germany in July 1994. Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of n...Loe edasi...
