Automated Deduction, Les Arcs, France, July 8-11, 1980 /
57
| Main Authors: | , , |
|---|---|
| Format: | |
| Published: |
Berlin : Springer-Verlag,
1980
|
| Subjects: |
| _version_ | 1826397597955260416 |
|---|---|
| author | Conference on Automated Deduction, (5th : 1980 : Les Arcs) Bibel, W., 1938- Kowalski, Robert |
| author_facet | Conference on Automated Deduction, (5th : 1980 : Les Arcs) Bibel, W., 1938- Kowalski, Robert |
| author_sort | Conference on Automated Deduction, (5th : 1980 : Les Arcs) |
| collection | OCEAN |
| description | 57 |
| first_indexed | 2024-03-04T22:52:39Z |
| format | |
| id | KOHA-OAI-TEST:207834 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| last_indexed | 2024-03-04T22:52:39Z |
| publishDate | 1980 |
| publisher | Berlin : Springer-Verlag, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:2078342020-12-19T17:06:00ZAutomated Deduction, Les Arcs, France, July 8-11, 1980 / Conference on Automated Deduction, (5th : 1980 : Les Arcs) Bibel, W., 1938- Kowalski, Robert Berlin : Springer-Verlag,1980575859PSZKLLAutomatic theorem provingProof theoryURN:ISBN:3540100091 |
| spellingShingle | Automatic theorem proving Proof theory Conference on Automated Deduction, (5th : 1980 : Les Arcs) Bibel, W., 1938- Kowalski, Robert Automated Deduction, Les Arcs, France, July 8-11, 1980 / |
| title | Automated Deduction, Les Arcs, France, July 8-11, 1980 / |
| title_full | Automated Deduction, Les Arcs, France, July 8-11, 1980 / |
| title_fullStr | Automated Deduction, Les Arcs, France, July 8-11, 1980 / |
| title_full_unstemmed | Automated Deduction, Les Arcs, France, July 8-11, 1980 / |
| title_short | Automated Deduction, Les Arcs, France, July 8-11, 1980 / |
| title_sort | automated deduction les arcs france july 8 11 1980 |
| topic | Automatic theorem proving Proof theory |
| work_keys_str_mv | AT conferenceonautomateddeduction5th1980lesarcs automateddeductionlesarcsfrancejuly8111980 AT bibelw1938 automateddeductionlesarcsfrancejuly8111980 AT kowalskirobert automateddeductionlesarcsfrancejuly8111980 |