Korrektheitsuntersuchungen von Simulationen unter Verwendung von Term-Rewriting-Verfahren
Spremljeno u:
| Glavni autor: | |
|---|---|
| Format: | Knjiga |
| Jezik: | njemački |
| Izdano: |
Kiel
1982
|
| Oznake: |
Bez oznaka, Budi prvi tko označuje ovaj zapis!
|
| Order eBook: |
|
| Order Book: | Login to order |
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 3032081 | ||
| 007 | tu | ||
| 041 | |a ger | ||
| 100 | 1 | |a Wagner, Franz | |
| 245 | 1 | 0 | |a Korrektheitsuntersuchungen von Simulationen unter Verwendung von Term-Rewriting-Verfahren |
| 246 | 3 | |a Wagner, Franz | |
| 264 | 1 | |a Kiel |c 1982 | |
| 300 | |a 148 S. |c 8° | ||
| 500 | |a Wagner, Franz -- Korrektheitsuntersuchungen von Simulationen unter Verwendung von Term-Rewriting-Verfahren . -- 1982. 148 S. 8° -- Kiel, Univ., Math.-Naturwiss. Fak., Diss. 1982 | ||
| 852 | |c D 193.740 | ||
| 999 | |a Dissertation | ||
| 591 | |a description: Korrektheitsuntersuchungenvon Simulationen unter Verwendung von TermRewritingVerfahren .o1982. 148 S. 8Kiel, Univ.,Math.Naturwiss.Fak. ,Diss.l982 |a author: Wagner, Franz |a published: 1982 | ||