A resolution calculus for modal logics

A resolution calculus for modal logics / von Hans Jürgen Ohlbach

Saved in:
Bibliographic Details
VerfasserIn:
Ohlbach, Hans Jürgen
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

Similar Items