Einführung in die Markgraf Karl Refutation Procedure
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | Book |
| Language: | German |
| Published: |
Kaiserslautern
Univ.
1981
|
| Series: | Interner Bericht. Fachbereich Informatik
Nr 40 |
| Tags: |
No Tags, Be the first to tag this record!
|
| Order eBook: |
|
| Order Book: | Login to order |
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 196556 | ||
| 007 | tu | ||
| 041 | |a ger | ||
| 100 | 1 | |a Dilger, Werner | |
| 245 | 1 | 0 | |a Einführung in die Markgraf Karl Refutation Procedure |
| 246 | 3 | |a DILGER, Werner.- | |
| 264 | 1 | |a Kaiserslautern |b Univ. |c 1981 | |
| 300 | |a 39 S. |b mit Skizz. |c 4° | ||
| 490 | 0 | |a Interner Bericht. Fachbereich Informatik |v Nr 40 | |
| 500 | |a T 20.678/40 -- DILGER, Werner.- -- Einführung in die Markgraf Karl Refutation -- Procedure.Werner Dilger,Jürgen Müller,Wo -- gang Womann. - (Kaiserslautern:Univ.)1981 -- 39 S.mit Skizz.4° -- (Interner Bericht.Fachbereich Informatik. -- Nr 40.) -- 1982:B 391. -- Li. | ||
| 700 | 1 | |a Müller, Jürgen | |
| 700 | 1 | |a Womann, Wolfgang | |
| 852 | |c T 20.678/40 | ||
| 999 | |a Monographie | ||
| 591 | |a description: Einführung in die Markgraf Karl RefutatiProcedure.Werner DiIger,Jürgen Müller,Wogang Womann. Kaiserslautern:Univ. 1981.39 S.mit Skizz.4 Interner Bericht.Fachbereich Informatik.Nr 40. 1982:B 391. Li. |a signature: T 20.6784Q |a author: DILGER, Werner. |a published: 1982 | ||