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!
|
LEADER | 00722nam#a2200253zc#4500 | ||
---|---|---|---|
001 | 990002227190504498 | ||
005 | 20230201174030.0 | ||
007 | tu | ||
008 | 890727|1988####|||######m####|||#|#eng#c | ||
009 | AC00036692 | ||
015 | |a 89,H06,0275 |2 dnb | ||
035 | |a (AT-OBV)AC00036692 | ||
035 | |a AC00036692 | ||
035 | |a (Aleph)001660321ACC01 | ||
035 | |a (DE-599)OBVAC00036692 | ||
035 | |a (EXLNZ-43ACC_NETWORK)990016603210203331 | ||
040 | |a TUW |b ger |d OAW |e rakwb | ||
041 | |a eng | ||
044 | |c XA-DE | ||
100 | 1 | |a Ohlbach, Hans Jürgen |0 (DE-588)110244974 |4 aut | |
245 | 1 | 0 | |a A resolution calculus for modal logics |c von Hans Jürgen Ohlbach |
264 | 1 | |c 1988 | |
300 | |a 115 S. |b graph. Darst. |c 21 cm | ||
502 | |a Kaiserslautern, Univ., Diss., 1988 | ||
970 | 1 | |c 24 | |
ADM | |b 2023-02-01 17:40:30 Europe/Vienna |d 20 |f System |c marc21 |a 2018-12-24 08:24:54 Europe/Vienna |g false | ||
HOL | 8 | |b YWOAW |h 20942-B |c MAG1-3 |8 2217167400004498 | |
852 | 8 | |b YWOAW |c MAG1-3 |h 20942-B |8 2217167400004498 | |
ITM | |9 2217167400004498 |e 1 |m BOOK |b +YW18234401 |i 20942-B |2 MAG1-3 |o 19001111 |8 2317167390004498 |f 02 |p 2011-06-06 02:00:00 Europe/Vienna |h 20942-B |1 YWOAW |q 2022-06-08 18:38:45 Europe/Vienna |