A resolution calculus for modal logics / von Hans Jürgen Ohlbach
Saved in:
VerfasserIn: | |
---|---|
Place / Publishing House: | 1988 |
Year of Publication: | 1988 |
Language: | English |
Physical Description: | 115 S.; graph. Darst.; 21 cm |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
990002227190504498 |
---|---|
ctrlnum |
AC00036692 (AT-OBV)AC00036692 (Aleph)001660321ACC01 (DE-599)OBVAC00036692 (EXLNZ-43ACC_NETWORK)990016603210203331 |
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>00722nam#a2200253zc#4500</leader><controlfield tag="001">990002227190504498</controlfield><controlfield tag="005">20230201174030.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">890727|1988####|||######m####|||#|#eng#c</controlfield><controlfield tag="009">AC00036692</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">89,H06,0275</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(AT-OBV)AC00036692</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">AC00036692</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Aleph)001660321ACC01</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)OBVAC00036692</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLNZ-43ACC_NETWORK)990016603210203331</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">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="c">XA-DE</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ohlbach, Hans Jürgen</subfield><subfield code="0">(DE-588)110244974</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A resolution calculus for modal logics</subfield><subfield code="c">von Hans Jürgen Ohlbach</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">115 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="970" ind1="1" ind2=" "><subfield code="c">24</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2023-02-01 17:40:30 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:24:54 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="HOL" ind1="8" ind2=" "><subfield code="b">YWOAW</subfield><subfield code="h">20942-B</subfield><subfield code="c">MAG1-3</subfield><subfield code="8">2217167400004498</subfield></datafield><datafield tag="852" ind1="8" ind2=" "><subfield code="b">YWOAW</subfield><subfield code="c">MAG1-3</subfield><subfield code="h">20942-B</subfield><subfield code="8">2217167400004498</subfield></datafield><datafield tag="ITM" ind1=" " ind2=" "><subfield code="9">2217167400004498</subfield><subfield code="e">1</subfield><subfield code="m">BOOK</subfield><subfield code="b">+YW18234401</subfield><subfield code="i">20942-B</subfield><subfield code="2">MAG1-3</subfield><subfield code="o">19001111</subfield><subfield code="8">2317167390004498</subfield><subfield code="f">02</subfield><subfield code="p">2011-06-06 02:00:00 Europe/Vienna</subfield><subfield code="h">20942-B</subfield><subfield code="1">YWOAW</subfield><subfield code="q">2022-06-08 18:38:45 Europe/Vienna</subfield></datafield></record></collection> |
record_format |
marc |
spelling |
Ohlbach, Hans Jürgen (DE-588)110244974 aut <<A>> resolution calculus for modal logics von Hans Jürgen Ohlbach 1988 115 S. graph. Darst. 21 cm Kaiserslautern, Univ., Diss., 1988 YWOAW MAG1-3 20942-B 2217167400004498 |
language |
English |
format |
Thesis Book |
author |
Ohlbach, Hans Jürgen |
spellingShingle |
Ohlbach, Hans Jürgen A resolution calculus for modal logics |
author_facet |
Ohlbach, Hans Jürgen |
author_variant |
h j o hj hjo |
author_role |
VerfasserIn |
author_sort |
Ohlbach, Hans Jürgen |
title |
A resolution calculus for modal logics |
title_full |
A resolution calculus for modal logics von Hans Jürgen Ohlbach |
title_fullStr |
A resolution calculus for modal logics von Hans Jürgen Ohlbach |
title_full_unstemmed |
A resolution calculus for modal logics von Hans Jürgen Ohlbach |
title_auth |
A resolution calculus for modal logics |
title_new |
A resolution calculus for modal logics |
title_sort |
resolution calculus for modal logics |
publishDate |
1988 |
physical |
115 S. graph. Darst. 21 cm |
callnumber-raw |
20942-B |
callnumber-search |
20942-B |
illustrated |
Not Illustrated |
work_keys_str_mv |
AT ohlbachhansjurgen aresolutioncalculusformodallogics |
status_str |
n |
ids_txt_mv |
(AT-OBV)AC00036692 AC00036692 (Aleph)001660321ACC01 (DE-599)OBVAC00036692 (EXLNZ-43ACC_NETWORK)990016603210203331 |
hol852bOwn_txt_mv |
YWOAW |
hol852hSignatur_txt_mv |
20942-B |
hol852cSonderstandort_txt_mv |
MAG1-3 |
itmData_txt_mv |
2011-06-06 02:00:00 Europe/Vienna |
barcode_str_mv |
+YW18234401 |
callnumbers_txt_mv |
20942-B |
inventoryNumbers_str_mv |
20942-B |
materialTypes_str_mv |
BOOK |
permanentLibraries_str_mv |
YWOAW |
permanentLocations_str_mv |
MAG1-3 |
inventoryDates_str_mv |
19001111 |
createdDates_str_mv |
2011-06-06 02:00:00 Europe/Vienna |
holdingIds_str_mv |
2217167400004498 |
is_hierarchy_id |
AC00036692 |
is_hierarchy_title |
<<A>> resolution calculus for modal logics |
_version_ |
1787552278938386433 |