| Item Type: |
Book Section
|
| Erschienen: |
1996 |
| Creators: |
Bibel, Wolfgang ; Thielscher, |
| Type of entry: |
Bibliographie |
| Title: |
Non-classical automated deduction |
| Language: |
German |
| Date: |
1 January 1996 |
| Place of Publication: |
München |
| Publisher: |
Oldenbourg |
| Book Title: |
Trends in theoretical informatics. Hrsg.: R. Albrecht (u.a.) - München: Oldenbourg, 1996. S. 39-59 |
| Divisions: |
20 Department of Computer Science |
| Date Deposited: |
19 Nov 2008 16:25 |
| Last Modified: |
05 Mar 2013 08:49 |
| PPN: |
|
| Export: |
|
| Suche nach Titel in: |
TUfind oder in Google |
Drucken
Impressum