Xs Are for Trajectory Evaluation‚ Booleans Are for Theorem Proving
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
Springer−Verlag
1999
|
| _version_ | 1826262964810809344 |
|---|---|
| author | Aagaard, M Melham, T O'Leary, J |
| author_facet | Aagaard, M Melham, T O'Leary, J |
| author_sort | Aagaard, M |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-06T19:44:10Z |
| format | Conference item |
| id | oxford-uuid:21b39b9d-cc69-4345-86a0-17887724cb28 |
| institution | University of Oxford |
| last_indexed | 2024-03-06T19:44:10Z |
| publishDate | 1999 |
| publisher | Springer−Verlag |
| record_format | dspace |
| spelling | oxford-uuid:21b39b9d-cc69-4345-86a0-17887724cb282022-03-26T11:34:43ZXs Are for Trajectory Evaluation‚ Booleans Are for Theorem ProvingConference itemhttp://purl.org/coar/resource_type/c_5794uuid:21b39b9d-cc69-4345-86a0-17887724cb28Department of Computer ScienceSpringer−Verlag1999Aagaard, MMelham, TO'Leary, J |
| spellingShingle | Aagaard, M Melham, T O'Leary, J Xs Are for Trajectory Evaluation‚ Booleans Are for Theorem Proving |
| title | Xs Are for Trajectory Evaluation‚ Booleans Are for Theorem Proving |
| title_full | Xs Are for Trajectory Evaluation‚ Booleans Are for Theorem Proving |
| title_fullStr | Xs Are for Trajectory Evaluation‚ Booleans Are for Theorem Proving |
| title_full_unstemmed | Xs Are for Trajectory Evaluation‚ Booleans Are for Theorem Proving |
| title_short | Xs Are for Trajectory Evaluation‚ Booleans Are for Theorem Proving |
| title_sort | xs are for trajectory evaluation booleans are for theorem proving |
| work_keys_str_mv | AT aagaardm xsarefortrajectoryevaluationbooleansarefortheoremproving AT melhamt xsarefortrajectoryevaluationbooleansarefortheoremproving AT olearyj xsarefortrajectoryevaluationbooleansarefortheoremproving |