|
|
|
|
LEADER |
00000cz a2200000n 4500 |
001 |
100677176X |
003 |
DE-627 |
005 |
201906072315.4 |
008 |
171204n||aznnnabbn | aaa |c |
024 |
7 |
|
|a Q7298221
|2 wikidata
|9 PipeLineGenerated
|
024 |
7 |
|
|a http://d-nb.info/gnd/1145553486
|2 uri
|
035 |
|
|
|a (DE-588)1145553486
|
035 |
|
|
|a (DE-627)100677176X
|
035 |
|
|
|z (DE-627)1667059343
|
035 |
|
|
|a (DE-576)163364370
|
035 |
|
|
|z (DE-588a)172422833
|9 v:zg
|
040 |
|
|
|a DE-627
|b ger
|c DE-627
|e rda
|
043 |
|
|
|c XA-GB
|
079 |
|
|
|a g
|b p
|c v
|q f
|v piz
|
100 |
1 |
|
|a Turner, Raymond
|d 1947-
|
400 |
1 |
|
|a Turner, Ray
|d 1947-
|
510 |
2 |
|
|0 (DE-627)10318516X
|0 (DE-576)191192252
|0 (DE-588)1010842-7
|a University of Essex
|4 affi
|w r
|i Affiliation
|e Affiliation
|
548 |
|
|
|a 1947-
|4 datl
|w r
|i Lebensdaten
|
550 |
|
|
|0 (DE-627)105635685
|0 (DE-576)209694017
|0 (DE-588)4139395-8
|a Informatiker
|4 berc
|w r
|i Charakteristischer Beruf
|
550 |
|
|
|a Prof.
|4 akad
|w r
|i Akademischer Grad
|
692 |
|
|
|a Logics for artificial intelligence
|
692 |
|
|
|a Logiques pour l'intelligence artificielle
|
692 |
|
|
|a Computable Models
|
692 |
|
|
|a Truth and modality for knowledge representation
|
692 |
|
|
|a Constructive foundations for functional languages
|
ORI |
|
|
|a SA-MARC-ixtheoc001.raw
|
SUB |
|
|
|a IXT
|b 1
|
SUB |
|
|
|a REL
|b 1
|
TIT |
|
|
|a ixtheo
|a relbib
|