Theorembeweisen mit Rewrite-Techniken : Methode, Strategien u. Vergleiche / Heinz Jürgen Müller
Saved in:
| VerfasserIn: | |
|---|---|
| Place / Publishing House: | 1988 |
| Year of Publication: | 1988 |
| Language: | German |
| Physical Description: | 139 S.; graph. Darst.; 21 cm |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 00713nam#a2200241zc#4500 | ||
|---|---|---|---|
| 001 | 990002227320504498 | ||
| 005 | 20230326194641.0 | ||
| 007 | tu | ||
| 008 | 891019|1988####|||######m####|||#|#ger#c | ||
| 009 | AC00050116 | ||
| 015 | |a 89,H07,0258 |2 dnb | ||
| 035 | |a (AT-OBV)AC00050116 | ||
| 035 | |a AC00050116 | ||
| 035 | |a (Aleph)002426066ACC01 | ||
| 035 | |a (DE-599)OBVAC00050116 | ||
| 035 | |a (EXLNZ-43ACC_NETWORK)990024260660203331 | ||
| 040 | |a TUW |b ger |d OAW |e rakwb | ||
| 041 | |a ger | ||
| 044 | |c XA-DE | ||
| 100 | 1 | |a Müller, Heinz J. |4 aut | |
| 245 | 1 | 0 | |a Theorembeweisen mit Rewrite-Techniken |b Methode, Strategien u. Vergleiche |c Heinz Jürgen Müller |
| 264 | 1 | |c 1988 | |
| 300 | |a 139 S. |b graph. Darst. |c 21 cm | ||
| 502 | |a Kaiserslautern, Univ., Diss., 1988 | ||
| ADM | |b 2023-03-26 19:46:41 Europe/Vienna |d 20 |f System |c marc21 |a 2018-12-24 08:25:11 Europe/Vienna |g false | ||
| HOL | 8 | |b YWOAW |h 20944-B |c MAG1-3 |8 2217180220004498 | |
| 852 | 8 | |b YWOAW |c MAG1-3 |h 20944-B |8 2217180220004498 | |
| ITM | |9 2217180220004498 |e 1 |m BOOK |b +YW18234607 |i 20944-B |2 MAG1-3 |o 19001111 |8 2317180210004498 |f 02 |p 2011-06-07 02:00:00 Europe/Vienna |h 20944-B |1 YWOAW |q 2022-06-08 18:41:58 Europe/Vienna | ||