0
*
0
*
1450
2025
book-filter
Work cover

Two methods for checking formulas of temporal logic

  • Hugh W. McGuire

0

0 ratings

Genres

  • Automatic theorem proving
  • Computer algorithms
  • Logic, Symbolic and mathematical
  • Symbolic and mathematical Logic
Already read

people already read

Currently reading

people are currently reading

Want to read

people want to read

About the author

  • Hugh W. McGuire

    4.00

    1 ratings · 2 works

Editions

  • Edition cover

    Dept. of Computer Science, Stanford University

    1995