Jump to main content

yr 〜
yr

Search results 3

TIME-ICTL 2003 : 10th international symposium on temporal representation and reasoning and fourth international conference on temporal logic : proceedings : 8-10 July 2003 : Cairns, Queensland, Australia. : Jul 2003, Cairns, Australia.

TIME-ICTL 2003 : 10th international symposium on temporal representation and reasoning and fourth international conference on temporal logic : proceedings : 8-10 July 2003 : Cairns, Queensland, Australia. : Jul 2003, Cairns, Australia.
Paper図書
IEEE Computer Society Pressc2003.<M17-04-539>
National Diet Library
  • Alternative Title...soning and 4th international conference on temporal logic : proceedings ......ing and fourth international conference on temporal logic : TIME-ICTL 2003 Cairns, Quee...
  • Alternative Title...soning and 4th international conference on temporal logic : proceedings ......ing and fourth international conference on temporal logic : TIME-ICTL 2003 Cairns, Quee...
  • Author Heading... Cairns, Qld.) International Conference on Temporal Logic (4th : 2003 : Cairns, Qld.)

Proceedings 10th International Symposium on Temporal Representation and Reasoning and fourth International Conference on Temporal Logic : TIME-ICTL 2003 : 8-10 July 2003, Cairns, Queensland, Australia

Proceedings 10th International Symposium on Temporal Representation and Reasoning and fourth International Conference on Temporal Logic : TIME-ICTL 2003 : 8-10 July 2003, Cairns, Queensland, Australia
Paper図書
edited by Mark Reynalds and Abdul Sattar ; sponsored by Murdoch University, Griffith University, University of Western AustraliaIEEE Computer Society Pressc2003
Other Libraries in Japan
  • Author Heading... Sattar, Abdul International Conference on Temporal Logic

Temporal logic : First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings : gw : us

Temporal logic : First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings : gw : us
Paper図書
Dov M. Gabbay, Hans Jürgen Ohlbach (eds.)Springer-Verlagc1994
Other Libraries in Japan
  • Author HeadingInternational Conference on Temporal Logic Gabbay, Dov M. Ohlbach, Hans ...

Reached to the end of result.

RSS