Theorembeweisen mit Rewrite-Techniken : Methode, Strategien u. Vergleiche

Theorembeweisen mit Rewrite-Techniken : Methode, Strategien u. Vergleiche / Heinz Jürgen Müller

Saved in:
Bibliographic Details
VerfasserIn:
Müller, Heinz J.
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!
id 990002227320504498
ctrlnum AC00050116
(AT-OBV)AC00050116
(Aleph)002426066ACC01
(DE-599)OBVAC00050116
(EXLNZ-43ACC_NETWORK)990024260660203331
collection bib_alma
institution YWOAW
building MAG1-3
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00713nam#a2200241zc#4500</leader><controlfield tag="001">990002227320504498</controlfield><controlfield tag="005">20230326194641.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">891019|1988####|||######m####|||#|#ger#c</controlfield><controlfield tag="009">AC00050116</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">89,H07,0258</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(AT-OBV)AC00050116</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">AC00050116</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Aleph)002426066ACC01</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)OBVAC00050116</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLNZ-43ACC_NETWORK)990024260660203331</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">TUW</subfield><subfield code="b">ger</subfield><subfield code="d">OAW</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="c">XA-DE</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Müller, Heinz J.</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theorembeweisen mit Rewrite-Techniken</subfield><subfield code="b">Methode, Strategien u. Vergleiche</subfield><subfield code="c">Heinz Jürgen Müller</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">139 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">21 cm</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Kaiserslautern, Univ., Diss., 1988</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2023-03-26 19:46:41 Europe/Vienna</subfield><subfield code="d">20</subfield><subfield code="f">System</subfield><subfield code="c">marc21</subfield><subfield code="a">2018-12-24 08:25:11 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="HOL" ind1="8" ind2=" "><subfield code="b">YWOAW</subfield><subfield code="h">20944-B</subfield><subfield code="c">MAG1-3</subfield><subfield code="8">2217180220004498</subfield></datafield><datafield tag="852" ind1="8" ind2=" "><subfield code="b">YWOAW</subfield><subfield code="c">MAG1-3</subfield><subfield code="h">20944-B</subfield><subfield code="8">2217180220004498</subfield></datafield><datafield tag="ITM" ind1=" " ind2=" "><subfield code="9">2217180220004498</subfield><subfield code="e">1</subfield><subfield code="m">BOOK</subfield><subfield code="b">+YW18234607</subfield><subfield code="i">20944-B</subfield><subfield code="2">MAG1-3</subfield><subfield code="o">19001111</subfield><subfield code="8">2317180210004498</subfield><subfield code="f">02</subfield><subfield code="p">2011-06-07 02:00:00 Europe/Vienna</subfield><subfield code="h">20944-B</subfield><subfield code="1">YWOAW</subfield><subfield code="q">2022-06-08 18:41:58 Europe/Vienna</subfield></datafield></record></collection>
record_format marc
spelling Müller, Heinz J. aut
Theorembeweisen mit Rewrite-Techniken Methode, Strategien u. Vergleiche Heinz Jürgen Müller
1988
139 S. graph. Darst. 21 cm
Kaiserslautern, Univ., Diss., 1988
YWOAW MAG1-3 20944-B 2217180220004498
language German
format Thesis
Book
author Müller, Heinz J.
spellingShingle Müller, Heinz J.
Theorembeweisen mit Rewrite-Techniken Methode, Strategien u. Vergleiche
author_facet Müller, Heinz J.
author_variant h j m hj hjm
author_role VerfasserIn
author_sort Müller, Heinz J.
title Theorembeweisen mit Rewrite-Techniken Methode, Strategien u. Vergleiche
title_sub Methode, Strategien u. Vergleiche
title_full Theorembeweisen mit Rewrite-Techniken Methode, Strategien u. Vergleiche Heinz Jürgen Müller
title_fullStr Theorembeweisen mit Rewrite-Techniken Methode, Strategien u. Vergleiche Heinz Jürgen Müller
title_full_unstemmed Theorembeweisen mit Rewrite-Techniken Methode, Strategien u. Vergleiche Heinz Jürgen Müller
title_auth Theorembeweisen mit Rewrite-Techniken Methode, Strategien u. Vergleiche
title_new Theorembeweisen mit Rewrite-Techniken
title_sort theorembeweisen mit rewrite-techniken methode, strategien u. vergleiche
publishDate 1988
physical 139 S. graph. Darst. 21 cm
callnumber-raw 20944-B
callnumber-search 20944-B
illustrated Not Illustrated
work_keys_str_mv AT mullerheinzj theorembeweisenmitrewritetechnikenmethodestrategienuvergleiche
status_str n
ids_txt_mv (AT-OBV)AC00050116
AC00050116
(Aleph)002426066ACC01
(DE-599)OBVAC00050116
(EXLNZ-43ACC_NETWORK)990024260660203331
hol852bOwn_txt_mv YWOAW
hol852hSignatur_txt_mv 20944-B
hol852cSonderstandort_txt_mv MAG1-3
itmData_txt_mv 2011-06-07 02:00:00 Europe/Vienna
barcode_str_mv +YW18234607
callnumbers_txt_mv 20944-B
inventoryNumbers_str_mv 20944-B
materialTypes_str_mv BOOK
permanentLibraries_str_mv YWOAW
permanentLocations_str_mv MAG1-3
inventoryDates_str_mv 19001111
createdDates_str_mv 2011-06-07 02:00:00 Europe/Vienna
holdingIds_str_mv 2217180220004498
is_hierarchy_id AC00050116
is_hierarchy_title Theorembeweisen mit Rewrite-Techniken Methode, Strategien u. Vergleiche
_version_ 1796648713813229570

Similar Items