Symposium on Automatic Demonstration [proceedings] /
41
| Main Authors: | , |
|---|---|
| Format: | |
| Published: |
Berlin : Springer-Verlag,
1970
|
| Subjects: |
| _version_ | 1826371609091375104 |
|---|---|
| author | Symposium on Automatic Demonstration (1968 : Versailles, France) Laudet, M. |
| author_facet | Symposium on Automatic Demonstration (1968 : Versailles, France) Laudet, M. |
| author_sort | Symposium on Automatic Demonstration (1968 : Versailles, France) |
| collection | OCEAN |
| description | 41 |
| first_indexed | 2024-03-04T16:36:20Z |
| format | |
| id | KOHA-OAI-TEST:82525 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| last_indexed | 2024-03-04T16:36:20Z |
| publishDate | 1970 |
| publisher | Berlin : Springer-Verlag, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:825252020-12-19T17:00:38ZSymposium on Automatic Demonstration [proceedings] / Symposium on Automatic Demonstration (1968 : Versailles, France) Laudet, M. Berlin : Springer-Verlag,197041PSZJBLAutomatic theorem provingProof theory |
| spellingShingle | Automatic theorem proving Proof theory Symposium on Automatic Demonstration (1968 : Versailles, France) Laudet, M. Symposium on Automatic Demonstration [proceedings] / |
| title | Symposium on Automatic Demonstration [proceedings] / |
| title_full | Symposium on Automatic Demonstration [proceedings] / |
| title_fullStr | Symposium on Automatic Demonstration [proceedings] / |
| title_full_unstemmed | Symposium on Automatic Demonstration [proceedings] / |
| title_short | Symposium on Automatic Demonstration [proceedings] / |
| title_sort | symposium on automatic demonstration proceedings |
| topic | Automatic theorem proving Proof theory |
| work_keys_str_mv | AT symposiumonautomaticdemonstration1968versaillesfrance symposiumonautomaticdemonstrationproceedings AT laudetm symposiumonautomaticdemonstrationproceedings |