00000nz##a22.....n..4500
viaf8050749
OCoLC
230827n||azznnabbn##########|a#aaa####|#
http://viaf.org/viaf/8050749
uri
VIAF
VIAF
Clarke, Edmund Melson
1945-....
(BNF)16505624
Clarke, Edmund
1945–2020
(LIH)LNB:,,6;=_v_N
Clarke, E. M.,
1945-
(NKC)stk2007415785
Clarke, E. M.,
1945-
(CAOONL)ncf11232042
Clarke, E.M.
(BIBSYS)90545272
Clarke, Edmund
(BIBSYS)90116650
Clarke, Edmund
(NII)DA02230941
Clarke, Edmund
(NLA)000035124242
Sparse
Clarke, Edmund M.
(ISNI)0000000121197648
Clarke, Edmund M.
1945-2020
(KRNLK)KAC2022A1841
Clarke, Edmund M.
1945-2020
(DNB)142488941
Clarke, Edmund M.,
Jr.
(Edmund Melson),
1945-2020
(LC)n 91023249
Clarke, Edmund M.,
Jr.
(Edmund Melson),
1945-2020
(J9U)987007457810605171
Clarke, Edmund M.,
1945-
(RERO)A003109614
Clarke, Edmund M.,
1945-
(NTA)069871493
Clarke, Edmund M.,
1945-2020
(SUDOC)060781750
Clarke, Edmund Mellon
(1945- ).
(NUKAT)n 99020693
Edmund Melson Clarke, Jr.
(WKP)Q92819
US
ISNI
LIH
WKP
DNB
BNF
미국(국명)[美國]
KRNLK
컴퓨터computer
KRNLK
수학 학문 数学
KRNLK
교수 대학 敎授
KRNLK
과학자科学者
KRNLK
eng
LIH
BNF
male
1
Clarke, E. M.
NII
NUKAT
Clarke, E. M.,
1945-
J9U
LC
Clarke, E. M.,
Jr.
(Edmund Melson),
1945-2020
LC
Clarke, E. M.
1945-
ISNI
Clarke, E. M.
1945-2020
DNB
KRNLK
Clarke, E. M
1945-
Jr
ISNI
Clarke, E.
1945-
ISNI
Clarke, E.
1945-2020
DNB
Clarke, Edmund
J9U
SUDOC
ISNI
LC
Clarke, Edmund M
NII
Clarke, Edmund M.
NUKAT
Clarke, Edmund M.,
1945-
NKC
J9U
CAOONL
Clarke, Edmund M.,
Jr.,
1945-
RERO
Clarke, Edmund M.,
Jr.
(Edmund Melson),
1945-
J9U
Clarke, Edmund M.
1945-
ISNI
Clarke, Edmund M.
1945-
Jr
ISNI
Clarke, Edmund M.
Jr.
1945-2020
DNB
Clarke, Edmund Mellon
1945-2020
KRNLK
Clarke, Edmund Melson
SUDOC
ISNI
Clarke, Edmund Melson Clarke
Jr
1945-2020
KRNLK
Clarke, Edmund Melson,
1945-
RERO
Clarke, Edmund Melson
1945-
ISNI
Clarke, Edmund Melson
1945-2020
navo
https://d-nb.info/standards/elementset/gnd#FullerFormOfNameOfThePerson
Vollstaendiger Name
DNB
Clarke, Edmund Melson
1945-
Jr
ISNI
Clarke, Edmund Melson
Jr.
1945-2020
DNB
Clarke, Edmund,
1945-
NTA
Clarke, Edmund.
NUKAT
Clarke, Edmund
1945-
ISNI
Clarke, Edmund
1945-2020
DNB
Clarke, Edmund
1945-
Jr
ISNI
Clarke, Edmund
Jr.
1945-2020
DNB
E. M. Clarke
WKP
Edmund Clarke
WKP
Edmund Clarke
informático teórico estadounidense
ISNI
WKP
Edmund M. Clarke
WKP
Edmund M. Clarke
American computer scientist
WKP
Edmund M. Clarke
Amerikaans informaticus
ISNI
WKP
Edmund M. Clarke
United States of America karimba ŋun nyɛ doo
WKP
Edmund M. Clarke
amerikanischer Informatiker
ISNI
WKP
Edmund M. Clarke
amerikansk ingeniør og informatikar
ISNI
WKP
Edmund M. Clarke
amerikansk ingeniør og informatiker
ISNI
WKP
Edmund M. Clarke
amerikansk ingenjör och datavetare
ISNI
WKP
Edmund M. Clarke
informaticien américain
ISNI
WKP
Edmund M. Clarke
ríomheolaí Meiriceánach
WKP
Έντμουντ Μ. Κλαρκ
WKP
Едмунд Кларк
ISNI
WKP
Едмунд Кларк
американський науковець у галузі комп'ютерних технологій
WKP
Кларк, Эдмунд Мельсон
ISNI
WKP
إدموند كلارك
ISNI
إدموند كلارك
عالم حاسوب أمريكي
WKP
ادموند ام. کلارک
دانشمند علوم کامپیوتر و مهندس آمریکایی
ISNI
WKP
ادموند كلارك
باحث من امريكا
WKP
এডমুন্ড এম. ক্লার্ক
ISNI
WKP
エドムンド・クラーク
ISNI
WKP
爱德蒙·克拉克
ISNI
爱德蒙·克拉克
美国计算机科学家
WKP
에드먼드 M. 클라크
WKP
Carnegie Mellon University
ISNI
Carnegie Mellon University
affi
https://d-nb.info/standards/elementset/gnd#affiliation
Affiliation
(VIAF)122715405
DNB
Mount Lebanon, NY
orts
https://d-nb.info/standards/elementset/gnd#placeOfDeath
(VIAF)246945653
DNB
Newport News, Va.
ortg
https://d-nb.info/standards/elementset/gnd#placeOfBirth
(VIAF)154757247
DNB
Pittsburgh, Pa.
ortw
https://d-nb.info/standards/elementset/gnd#placeOfActivity
(VIAF)133152143
DNB
http://viaf.org/viaf/8050749
http://viaf.org/viaf/data
Dataset description
Voronkov, Andrei (1959-....).
11
SUDOCSUDOC|060781750DNBDNB|142488941ISNIISNI|0000000121197648LCLC|n 91023249
Grumberg, Orna (1952-....).
9
SUDOCSUDOC|060781750ISNIISNI|0000000121197648RERORERO|A003109614BIBSYSBIBSYS|90545272NUKATNUKAT|n 99020693BNFBNF|16505624
Virbitskaite, Irina.
8
SUDOCSUDOC|060781750DNBDNB|142488941ISNIISNI|0000000121197648NTANTA|069871493LCLC|n 91023249
Peled, Doron A. (1962-...).
8
SUDOCSUDOC|060781750ISNIISNI|0000000121197648RERORERO|A003109614BIBSYSBIBSYS|90545272LCLC|n 91023249BNFBNF|16505624
Minea, Marius
7
LCLC|n 91023249ISNIISNI|0000000121197648NUKATNUKAT|n 99020693NTANTA|069871493BNFBNF|16505624
Veith, Helmut.
5
SUDOCSUDOC|060781750NUKATNUKAT|n 99020693KRNLKKRNLK|KAC2022A1841LCLC|n 91023249
Tiplea, Ferucio Laurentiu
5
LCLC|n 91023249ISNIISNI|0000000121197648NUKATNUKAT|n 99020693BNFBNF|16505624
Kurshan, Robert P.
3
ISNIISNI|0000000121197648NUKATNUKAT|n 99020693BIBSYSBIBSYS|90545272
Kozen, Dexter
3
LCLC|n 91023249ISNIISNI|0000000121197648BIBSYSBIBSYS|90116650
Henzinger, Thomas A..
3
SUDOCSUDOC|060781750NUKATNUKAT|n 99020693KRNLKKRNLK|KAC2022A1841
Peled, Doron (1962- ).
2
NUKATNUKAT|n 99020693
Voronkov, Andrej (Andrej Aleksandrovič), 1959-
1
NTANTA|069871493
070
1
BNFBNF|16505624
340
1
BNFBNF|16505624
aut
3
DNBDNB|142488941KRNLKKRNLK|KAC2022A1841
ctb
1
RERORERO|A003109614
directeur de la publication
4
SUDOCSUDOC|060781750
editeur scientifique
2
SUDOCSUDOC|060781750
editor
1
LCLC|n 91023249
editor of compilation
1
LCLC|n 91023249
edt
7
DNBDNB|142488941RERORERO|A003109614
herausgeber
2
DNBDNB|142488941
hrsg
4
DNBDNB|142488941
preface
1
SUDOCSUDOC|060781750
red
2
NUKATNUKAT|n 99020693
redaktor
1
NUKATNUKAT|n 99020693
verfasser
2
DNBDNB|142488941
am
46
SUDOCSUDOC|060781750BIBSYSBIBSYS|90116650NTANTA|069871493RERORERO|A003109614KRNLKKRNLK|KAC2022A1841BIBSYS|90545272LCLC|n 91023249NUKATNUKAT|n 99020693DNBDNB|142488941BNFBNF|16505624
mm
3
SUDOCSUDOC|060781750
9780262032704
8
SUDOCSUDOC|060781750NTANTA|069871493RERORERO|A003109614BIBSYSBIBSYS|90545272LCLC|n 91023249NUKATNUKAT|n 99020693BNFBNF|16505624
9780387128962
5
SUDOCSUDOC|060781750BIBSYSBIBSYS|90116650RERORERO|A003109614NTANTA|069871493LCLC|n 91023249
9783540544777
4
NUKATNUKAT|n 99020693DNBDNB|142488941RERORERO|A003109614BIBSYSBIBSYS|90545272
9783540128960
4
SUDOCSUDOC|060781750BIBSYSBIBSYS|90116650RERORERO|A003109614NTANTA|069871493
9783319105741
4
SUDOCSUDOC|060781750RERORERO|A003109614NUKATNUKAT|n 99020693KRNLKKRNLK|KAC2022A1841
9781586035709
4
LCLC|n 91023249BNFBNF|16505624NUKATNUKAT|n 99020693NTANTA|069871493
9780387544779
4
NUKATNUKAT|n 99020693DNBDNB|142488941RERORERO|A003109614BIBSYSBIBSYS|90545272
9783642297090
3
SUDOCSUDOC|060781750DNBDNB|142488941NTANTA|069871493
9783642297083
3
LCLC|n 91023249DNBDNB|142488941NTANTA|069871493
9783642175107
3
SUDOCSUDOC|060781750DNBDNB|142488941LCLC|n 91023249
9783319105758
1
KRNLKKRNLK|KAC2022A1841
CAV'90
RERORERO|A003109614
Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18–21, 1990 : proceedings
SUDOCSUDOC|060781750NUKATNUKAT|n 99020693LCLC|n 91023249NIINII|DA02230941DNBDNB|142488941RERORERO|A003109614BIBSYSBIBSYS|90545272
Computer-aided verification / E. M. Clarke, R. P. Kurshan (eds.). - Berlin, 1991.
NUKATNUKAT|n 99020693
DIMACS Workshop on Computer-Aided Verification (1990 : Center for Discrete Mathematics and Theoretical Computer Science). Computer-aided verification'90, 1991:
J9UJ9U|987007457810605171LCLC|n 91023249
Guantanamo : if the lights goes out
NTANTA|069871493
Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers
SUDOCSUDOC|060781750DNBDNB|142488941LCLC|n 91023249
Logics of Programs : Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983
SUDOCSUDOC|060781750BIBSYSBIBSYS|90116650NTANTA|069871493LCLC|n 91023249J9UJ9U|987007457810605171RERORERO|A003109614NIINII|DA02230941
Model checking
(VIAF)7312155953608442630002
SUDOCSUDOC|060781750NTANTA|069871493NIINII|DA02230941RERORERO|A003109614KRNLKKRNLK|KAC2022A1841BIBSYSBIBSYS|90545272LCLC|n 91023249XRXR|VIAFWORK1030446194NUKATNUKAT|n 99020693DNBDNB|142488941BNFBNF|16505624
Parallel symbolic computation algorithms
BIBSYSBIBSYS|90545272
Perspectives of Systems Informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers
SUDOCSUDOC|060781750DNBDNB|142488941NTANTA|069871493LCLC|n 91023249
PSI 2011
NTANTA|069871493
Software reliability methods
SUDOCSUDOC|060781750
Temporal logics for distributed systems paradigms and algorithms ; 10.10.1999 - 15.10.1999
DNBDNB|142488941
Verification of infinite-state systems with applications to security
LCLC|n 91023249BNFBNF|16505624NUKATNUKAT|n 99020693NTANTA|069871493
Springer
23
SUDOCSUDOC|060781750ISNIISNI|0000000121197648NUKATNUKAT|n 99020693NTANTA|069871493LCLC|n 91023249DNBDNB|142488941BIBSYSBIBSYS|90116650RERORERO|A003109614KRNLKKRNLK|KAC2022A1841BIBSYS|90545272
The MIT press
12
LCLC|n 91023249ISNIISNI|0000000121197648NUKATNUKAT|n 99020693NTANTA|069871493BNFBNF|16505624RERORERO|A003109614BIBSYSBIBSYS|90545272
IOS Press
6
LCLC|n 91023249ISNIISNI|0000000121197648NUKATNUKAT|n 99020693NTANTA|069871493BNFBNF|16505624
Springer Berlin Heidelberg : Springer e-books
4
DNBDNB|142488941ISNIISNI|0000000121197648
Univ., Fak. für Informatik
2
DNBDNB|142488941ISNIISNI|0000000121197648
Springer International Publishing : Imprint: Springer
2
LCLC|n 91023249RERORERO|A003109614
Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes
2
DNBDNB|142488941ISNIISNI|0000000121197648
Dewi Lewis Publishing
2
ISNIISNI|0000000121197648NTANTA|069871493
Universität
1
DNBDNB|142488941
Carnegie Mellon University, School of Computer Science
1
BIBSYSBIBSYS|90545272
DE
21
SUDOCSUDOC|060781750NTANTA|069871493RERORERO|A003109614LCLC|n 91023249NUKATNUKAT|n 99020693DNBDNB|142488941
US
14
SUDOCSUDOC|060781750NTANTA|069871493RERORERO|A003109614LCLC|n 91023249NUKATNUKAT|n 99020693BNFBNF|16505624
CH
4
SUDOCSUDOC|060781750RERORERO|A003109614NUKATNUKAT|n 99020693KRNLKKRNLK|KAC2022A1841
NL
3
LCLC|n 91023249NUKATNUKAT|n 99020693NTANTA|069871493
NC
1
BNFBNF|16505624
GB
1
NTANTA|069871493
198.
10
199.
23
200.
12
201.
20
1945-07-27
2020-12-22
lived