Journal of logic and computation
| Titel: | Journal of logic and computation |
|---|---|
| Veröffentlicht: | Eynsham, Oxford : Oxford Univ. Press, 1990- |
| Erscheinungsverlauf: | 1.1990/91 - |
| Umfang: | Online-Ressource |
| Format: | Elektronische Zeitschrift |
| Sprache: | Englisch |
| Andere Ausgaben: |
Erscheint auch als Druck-Ausgabe, 1990/91-2020: Journal of logic and computation. - Eynsham, Oxford : Oxford Univ. Press, [1990-2020]
|
| ISSN: | 1465-363X ; 0955-792X |
X
alg: 7194072 001A $06050:21-04-99 001B $06050:07-02-25 $t14:28:27.000 001D $06050:10-10-15 001U $0utf8 001X $00 002@ $0Obvc 002C $aText $btxt $2rdacontent 002D $aComputermedien $bc $2rdamedia 002E $aOnline-Ressource $bcr $2rdacarrier 003@ $0071940723 003O $01368152336 $aOCoLC 005A $01465-363X 005P $00955-792X $Sp 006Z $01470328-2 007A $01470328-2 $aZDB 009Q $SV231 $uhttps://academic.oup.com/logcom/issue $xH 009Q $SV858 $uhttps://academic.oup.com/logcom/issue $xH 009Q $SV144 $uhttps://academic.oup.com/logcom/issue $xH; Nationallizenz; 1.1990/91 - 27.2017 009Q $uhttps://ezb.ur.de/?1470328-2 $xF 009Q $uhttps://academic.oup.com/logcom/issue $xH; 6.1996 - 009Q $uhttps://academic.oup.com/logcom/issue $xH; 1.1990/91 - 27.2017 $zNL 010@ $aeng 011@ $a1990 $n1990- 013D $RPresse $RFortlaufendes Sammelwerk $#Periodicals $#Yearbooks $#Périodiques $#Annuaires $#Publicaciones periódicas $#journals $#Periodical $#Periodicals as Topic $#Zeitschrift $#Zeitschrift $#Periodikum $#Zeitschriften $74067488-5 $8Zeitschrift [Tsz] $9085189774 013H $0nl 016A $aDg 017B $aZDB-1-OJD 018@ $0u 021A $aJournal of logic and computation 026C $aJ Log Comput 031@ $a1.1990/91 - 031N $d1 $6 $j1990/91 033A $pEynsham, Oxford $nOxford Univ. Press 034D $aOnline-Ressource 037A $aGesehen am 07.02.25 037A $aFortsetzung der Druck-Ausgabe 039D $aErscheint auch als $8--Abvc--. Journal of logic and computation. - Eynsham, Oxford : Oxford Univ. Press, [1990-2020]. - ISSN 0955-792X $9048556386 $nDruck-Ausgabe, 1990/91-2020 044K $qZDB $RAutomation $RComputer $RDatentechnik $RInformatik $#Data processing $#Informatique $#Electronic data processing $#ADV $#Automatische Datenverarbeitung $#Automatisierte Datenverarbeitung $#EDV $#Elektronische Datenverarbeitung $74011152-0 $8Datenverarbeitung [Ts1] $9085022594 044K $qZDB $RHandlungslogik $RÄquivalenz $RFormale Semantik $RLogiker $#Logic $#Logique $#Lógica $#Logik $#Logik $#Philosophische Logik $74036202-4 $8Logik [Ts1] $9085098094 044K $qZDB $RPresse $RFortlaufendes Sammelwerk $#Periodicals $#Yearbooks $#Périodiques $#Annuaires $#Publicaciones periódicas $#journals $#Periodical $#Periodicals as Topic $#Zeitschrift $#Zeitschrift $#Periodikum $#Zeitschriften $74067488-5 $8Zeitschrift [Tsz] $9085189774 044K $qZDB $RElektronische Publikation $#Electronic publications $#Publications électroniques $#Netzpublikation $#Online-Publikation $#Computerdatei im Fernzugriff Formschlagwort $#Online-Dokument $#On-line-Dokument $#On-line-Publikation $74511937-5 $8Online-Ressource [Ts1] $9089256689 045U $e004 lok: 7194072 3 101B $021-08-06 $t11:10:53.000 101C $021-08-06 145S/01 $a013 101U $0utf8 exp: 7194072 3 1 #EPN 201B/01 $017-04-24 $t00:11:46.199 201U/01 $0utf8 203@/01 $0184381274 208@/01 $a02-06-03 $bl 209S/01 $uhttps://ezb.ur.de/?1470328-2&bibid=UBFM $XF lok: 7194072 5 exp: 7194072 5 1 #EPN 201B/01 $017-04-24 $t00:11:46.202 201U/01 $0utf8 203@/01 $0525654089 208@/01 $a06-03-08 $bl 209S/01 $uhttps://ezb.ur.de/?1470328-2&bibid=FHF $XF lok: 7194072 6 exp: 7194072 6 1 #EPN 201B/01 $015-03-18 $t23:25:42.287 201U/01 $0utf8 203@/01 $0525654097 208@/01 $a06-03-08 $bl 209S/01 $SV144 $uhttps://academic.oup.com/logcom/issue $XH; Nationallizenz; 1.1990/91 - 27.2017 lok: 7194072 8 exp: 7194072 8 1 #EPN 201B/01 $017-04-24 $t00:11:46.205 201U/01 $0utf8 203@/01 $0157497097 208@/01 $a25-04-01 $bl 209S/01 $uhttps://ezb.ur.de/?1470328-2&bibid=TUDA $XF lok: 7194072 10 exp: 7194072 10 1 #EPN 201B/01 $017-04-24 $t00:11:46.207 201U/01 $0utf8 203@/01 $0525654100 208@/01 $a06-03-08 $bl 209S/01 $uhttps://ezb.ur.de/?1470328-2&bibid=FHDA $XF lok: 7194072 11 exp: 7194072 11 1 #EPN 201B/01 $017-04-24 $t00:11:46.210 201U/01 $0utf8 203@/01 $0415601479 208@/01 $a06-07-06 $bl 209S/01 $uhttps://ezb.ur.de/?1470328-2&bibid=HLB $XF lok: 7194072 15 exp: 7194072 15 1 #EPN 201B/01 $015-03-18 $t23:25:42.294 201U/01 $0utf8 203@/01 $0622218077 208@/01 $a28-06-11 $bl 209S/01 $SV144 $uhttps://academic.oup.com/logcom/issue $XH; Nationallizenz; 1.1990/91 - 27.2017 lok: 7194072 20 exp: 7194072 20 1 #EPN 201B/01 $017-04-24 $t00:11:46.214 201U/01 $0utf8 203@/01 $0415601509 208@/01 $a06-07-06 $bl 209S/01 $uhttps://ezb.ur.de/?1470328-2&bibid=FHGF $XF lok: 7194072 21 exp: 7194072 21 1 #EPN 201B/01 $017-04-24 $t00:11:46.216 201U/01 $0utf8 203@/01 $0415601517 208@/01 $a06-07-06 $bl 209S/01 $uhttps://ezb.ur.de/?1470328-2&bibid=FHFD $XF lok: 7194072 23 exp: 7194072 23 1 #EPN 201B/01 $017-04-24 $t00:11:46.219 201U/01 $0utf8 203@/01 $0525654127 208@/01 $a06-03-08 $bl 209S/01 $uhttps://ezb.ur.de/?1470328-2&bibid=UBKAS $XF lok: 7194072 24 exp: 7194072 24 1 #EPN 201B/01 $015-03-18 $t23:25:42.303 201U/01 $0utf8 203@/01 $0622218085 208@/01 $a28-06-11 $bl 209S/01 $SV144 $uhttps://academic.oup.com/logcom/issue $XH; Nationallizenz; 1.1990/91 - 27.2017 lok: 7194072 25 exp: 7194072 25 1 #EPN 201B/01 $017-04-24 $t00:11:46.222 201U/01 $0utf8 203@/01 $0174577036 208@/01 $a21-08-02 $bla 209C/01 $ae-only 209E/01 $aOnline-Zugang nur im Netz der Universität Mainz $x04 209S/01 $uhttps://ezb.ur.de/?1470328-2&bibid=UBMZ $XF 245G/01 $cej lok: 7194072 36 exp: 7194072 36 1 #EPN 201B/01 $017-04-24 $t00:11:46.224 201U/01 $0utf8 203@/01 $0595485839 208@/01 $a28-06-10 $bl 209S/01 $uhttps://ezb.ur.de/?1470328-2&bibid=RGZM $XF lok: 7194072 54 exp: 7194072 54 1 #EPN 201B/01 $015-03-18 $t23:25:42.315 201U/01 $0utf8 203@/01 $0622218093 208@/01 $a28-06-11 $bl 209S/01 $SV144 $uhttps://academic.oup.com/logcom/issue $XH; Nationallizenz; 1.1990/91 - 27.2017 lok: 7194072 59 exp: 7194072 59 1 #EPN 201B/01 $022-04-21 $t23:02:57.506 201U/01 $0utf8 203@/01 $0503754145 208@/01 $a10-05-07 $bl 209S/01 $SV144 $uhttps://academic.oup.com/logcom/issue $XH; Nationallizenz; 1.1990/91 - 27.2017 lok: 7194072 69 exp: 7194072 69 1 #EPN 201B/01 $015-03-18 $t23:25:42.318 201U/01 $0utf8 203@/01 $0622218107 208@/01 $a28-06-11 $bl 209S/01 $SV144 $uhttps://academic.oup.com/logcom/issue $XH; Nationallizenz; 1.1990/91 - 27.2017 lok: 7194072 75 exp: 7194072 75 1 #EPN 201B/01 $015-03-18 $t23:25:42.322 201U/01 $0utf8 203@/01 $0748014276 208@/01 $a12-01-15 $bl 209S/01 $SV144 $uhttps://academic.oup.com/logcom/issue $XH; Nationallizenz; 1.1990/91 - 27.2017 lok: 7194072 76 exp: 7194072 76 1 #EPN 201B/01 $015-03-18 $t23:25:42.325 201U/01 $0utf8 203@/01 $078571085X 208@/01 $a29-10-16 $bl 209S/01 $SV144 $uhttps://academic.oup.com/logcom/issue $XH; Nationallizenz; 1.1990/91 - 27.2017 lok: 7194072 77 exp: 7194072 77 1 #EPN 201B/01 $001-06-22 $t23:15:19.948 201C/01 $001-06-22 201U/01 $0utf8 203@/01 $01202527965 208@/01 $a01-06-22 $bl 209S/01 $SV144 $uhttps://academic.oup.com/logcom/issue $XH; Nationallizenz; 1.1990/91 - 27.2017 lok: 7194072 107 exp: 7194072 107 1 #EPN 201B/01 $017-04-24 $t00:11:46.229 201C/01 $013-12-19 201U/01 $0utf8 203@/01 $01072618052 208@/01 $a13-12-19 $bl 209S/01 $uhttps://ezb.ur.de/?1470328-2&bibid=MARTI $XF lok: 7194072 204 exp: 7194072 204 1 #EPN 201B/01 $017-04-24 $t00:11:46.232 201U/01 $0utf8 203@/01 $0157497178 208@/01 $a25-04-01 $bl 209S/01 $uhttps://ezb.ur.de/?1470328-2&bibid=UBGIE $XF lok: 7194072 205 exp: 7194072 205 1 #EPN 201B/01 $017-04-24 $t00:11:46.235 201U/01 $0utf8 203@/01 $0157497216 208@/01 $a25-04-01 $bl 209S/01 $uhttps://ezb.ur.de/?1470328-2&bibid=UBMA $XF
| LEADER | 00000cas a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 071940723 | ||
| 003 | DE-603 | ||
| 005 | 20250207142827.0 | ||
| 007 | cr|||||||||||| | ||
| 008 | 990421c19909999xx u| p|o | 0 |1eng c | ||
| 016 | 7 | |2 DE-600 |a 1470328-2 | |
| 022 | |a 1465-363X | ||
| 035 | |a (DE-599)ZDB1470328-2 | ||
| 035 | |a (OCoLC)1368152336 | ||
| 040 | |a DE-603 |b ger |c DE-603 |d DE-603 | ||
| 041 | |a eng | ||
| 084 | |a 004 |q DE-600 |2 sdnb | ||
| 210 | 0 | 0 | |a J Log Comput |
| 245 | 0 | 0 | |a Journal of logic and computation |
| 264 | 3 | 1 | |a Eynsham, Oxford |b Oxford Univ. Press |c 1990- |
| 300 | |a Online-Ressource | ||
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a Computermedien |b c |2 rdamedia | ||
| 338 | |a Online-Ressource |b cr |2 rdacarrier | ||
| 362 | 0 | |a 1.1990/91 - | |
| 363 | 0 | 1 | |8 1.1\x |a 1 |i 1990/91 |
| 500 | |a Gesehen am 07.02.25 | ||
| 500 | |a Fortsetzung der Druck-Ausgabe | ||
| 650 | 7 | |a Datenverarbeitung |0 (DE-588)4011152-0 |0 (DE-603)085022594 |2 gnd | |
| 650 | 7 | |a Logik |0 (DE-588)4036202-4 |0 (DE-603)085098094 |2 gnd | |
| 650 | 7 | |a Zeitschrift |0 (DE-588)4067488-5 |0 (DE-603)085189774 |2 gnd | |
| 650 | 7 | |a Online-Ressource |0 (DE-588)4511937-5 |0 (DE-603)089256689 |2 gnd | |
| 655 | 7 | |a Zeitschrift |2 gnd-content |0 (DE-588)4067488-5 |0 (DE-603)085189774 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, 1990/91-2020 |t Journal of logic and computation |d Eynsham, Oxford : Oxford Univ. Press, [1990-2020] |x 0955-792X |w (DE-603)048556386 |w (DE-600)1041082-X |
| 776 | 1 | |x 0955-792X | |
| 856 | |u https://academic.oup.com/logcom/issue |x Verlag | ||
| 856 | |u https://academic.oup.com/logcom/issue |x Verlag | ||
| 856 | |u https://academic.oup.com/logcom/issue |x Verlag; Nationallizenz; 1.1990/91 - 27.2017 | ||
| 856 | |u https://ezb.ur.de/?1470328-2 |x EZB | ||
| 856 | |u https://academic.oup.com/logcom/issue |x Verlag; 6.1996 - | ||
| 856 | |u https://academic.oup.com/logcom/issue |x Verlag; 1.1990/91 - 27.2017 |z Deutschlandweit zugänglich | ||
| 912 | |a ZDB-1-OJD | ||
| 924 | 1 | |9 603 |a (DE-603)184381274 |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)525654089 |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)525654097 |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)157497097 |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)525654100 |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)415601479 |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)622218077 |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)415601509 |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)415601517 |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)525654127 |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)622218085 |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)174577036 |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)595485839 |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)622218093 |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)503754145 |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)622218107 |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)748014276 |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)78571085X |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)1202527965 |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)1072618052 |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)157497178 |b DE-603 |c HES |d d | |
| 924 | 1 | |9 603 |a (DE-603)157497216 |b DE-603 |c HES |d d | |
