|
|
|
|
| LEADER |
00000cz a2200000n 4500 |
| 001 |
704782642 |
| 003 |
DE-627 |
| 005 |
20191123212248.0 |
| 008 |
120427n||aznnnabbn | aaa |c |
| 024 |
7 |
|
|a http://d-nb.info/gnd/101151799X
|2 uri
|
| 035 |
|
|
|a (DE-588)101151799X
|
| 035 |
|
|
|a (DE-627)704782642
|
| 035 |
|
|
|a (DE-576)343315009
|
| 035 |
|
|
|z (DE-588a)101151799X
|9 v:zg
|
| 043 |
|
|
|c XA-DE
|
| 065 |
|
|
|a 30p
|2 sswd
|
| 079 |
|
|
|a g
|b p
|c v
|q f
|v piz
|
| 100 |
1 |
|
|a Lange, Martin
|d 1974-
|
| 375 |
|
|
|a 1
|2 iso5218
|
| 510 |
2 |
|
|0 (DE-627)103211985
|0 (DE-576)192025155
|0 (DE-588)2055001-7
|a Universität Kassel
|4 affi
|w r
|i Affiliation
|e Affiliation
|
| 548 |
|
|
|a 1974-
|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. Dr.
|4 akad
|w r
|i Akademischer Grad
|
| 692 |
|
|
|a Temporal logics beyond regularity. - 2007
|
| 692 |
|
|
|a Games for modal and temporal logics. - 2002
|
| 692 |
|
|
|a Spielbasiertes Model Checking für den alternierungsfreien μ-Kalkül. - 1999
|
| ORI |
|
|
|a TA-MARC-ixtheoc001.raw
|
| SUB |
|
|
|a IXT
|b 2
|
| TIT |
|
|
|a ixtheo
|
GND (101151799X)