Leader
|
|
|
00000nz a2200037n 45 0 |
001
|
|
|
NTA|192739417
(VIAF cluster)
|
003
|
|
|
NTA |
005
|
|
|
20000501092539.5 |
008
|
|
|
000501 ||azznnaabn a aaa d |
035
|
|
|
‡a
(NTA)192739417
|
040
|
|
|
‡a
NL-LeOCL
‡b
dut
‡c
NL-LeOCL
‡e
fobidrtb
|
100
|
1 |
|
‡a
Franco, John V.
|
680
|
|
|
‡a
B0005669: University of Cincinnati, Department of Computer Science, Cincinnati, U.S.A.
|
901
|
|
|
‡a
978044450410
‡9
1
|
910
|
|
|
‡a
satisfiabilityproblembooleanfunctionsguestedendreborospeter50hammer
‡A
The satisfiability problem /
‡b
Boolean functions / guest ed.: Endre Boros, Peter L. Hammer.
‡l
eng
‡9
1
|
910
|
|
|
‡a
booleanfunctions
‡A
Boolean functions
‡l
eng
‡9
1
|
920
|
|
|
‡a
978-044
‡9
1
|
921
|
|
|
‡a
elsevier
‡b
Elsevier,
‡9
1
|
922
|
|
|
‡a
ne
‡b
nl
‡9
1
|
930
|
|
|
‡a
john v franco
‡c
guest ed.: John V. Franco... [et al.].
‡9
1
|
940
|
|
|
‡a
eng
‡9
1
|
942
|
|
|
‡a
QA9.3
‡9
1
|
943
|
|
|
‡a
199x
‡9
1
|
944
|
|
|
‡a
am
‡9
1
|
950
|
|
|
‡a
hammer p l peter l
‡A
Hammer, P.L.
‡q
(Peter L.),
‡d
1936-2006.
‡9
1
|
950
|
|
|
‡a
boros endre
‡A
Boros, Endre.
‡9
1
|
996
|
|
|
‡2
LC|n 96026480
|
996
|
|
|
‡2
SUDOC|229944655
|
996
|
|
|
‡2
WKP|Q52149808
|
996
|
|
|
‡2
DNB|104115300
|
996
|
|
|
‡2
NYNYRILM|25174
|
996
|
|
|
‡2
LC|n 94047935
|
996
|
|
|
‡2
LC|n 2007205333
|
996
|
|
|
‡2
BIBSYS|99057992
|
996
|
|
|
‡2
BLBNB|000438694
|
996
|
|
|
‡2
J9U|987007315101405171
|
996
|
|
|
‡2
DNB|1232275042
|
996
|
|
|
‡2
WKP|Q109785667
|
996
|
|
|
‡2
PTBNP|1584252
|
996
|
|
|
‡2
BNF|14328915
|
996
|
|
|
‡2
WKP|Q4492402
|
996
|
|
|
‡2
DNB|1229654941
|
996
|
|
|
‡2
ISNI|0000000040130871
|
996
|
|
|
‡2
DNB|119280884
|
996
|
|
|
‡2
PTBNP|1915822
|
996
|
|
|
‡2
PTBNP|175509
|
996
|
|
|
‡2
SUDOC|195749995
|
996
|
|
|
‡2
PTBNP|1757754
|
996
|
|
|
‡2
WKP|Q1344985
|
996
|
|
|
‡2
WKP|Q25441469
|
996
|
|
|
‡2
DNB|133012913
|
996
|
|
|
‡2
NII|DA12308477
|
996
|
|
|
‡2
ISNI|0000000080192647
|
996
|
|
|
‡2
WKP|Q88882343
|
996
|
|
|
‡2
WKP|Q98783598
|
996
|
|
|
‡2
ISNI|0000000004672753
|
996
|
|
|
‡2
WKP|Q86775217
|
996
|
|
|
‡2
LC|n 99049873
|
996
|
|
|
‡2
NKC|mzk2009528572
|
996
|
|
|
‡2
SUDOC|053474988
|
996
|
|
|
‡2
WKP|Q8836325
|
996
|
|
|
‡2
BNF|13599488
|
996
|
|
|
‡2
SUDOC|164701400
|
996
|
|
|
‡2
ISNI|0000000070317717
|
996
|
|
|
‡2
ISNI|0000000448829168
|
996
|
|
|
‡2
DNB|102833214
|
996
|
|
|
‡2
BNF|16131384
|
996
|
|
|
‡2
BNCHL|10000000000000000073536
|
996
|
|
|
‡2
BNC|981059271904106706
|
996
|
|
|
‡2
SZ|104115300
|
996
|
|
|
‡2
ISNI|000000003029360X
|
996
|
|
|
‡2
PTBNP|1651216
|
996
|
|
|
‡2
J9U|987007449826205171
|
997
|
|
|
‡a
0 0 lived 0 0
‡9
1
|
998
|
|
|
‡a
Franco, John V.
‡2
BIBSYS|99062437
‡3
viafid
‡3
title: (0.70, 'satisfiabilityproblem', 'satisfiabilityproblembooleanfunctionsguestedendreborospeter50hammer')
|
998
|
|
|
‡a
Franco, John V.
‡2
ISNI|0000000384481771
‡3
joint author: (1.00, 'boros endre', 'boros endre')
|
998
|
|
|
‡a
Franco, John
‡2
ISNI|0000000384481771
‡3
joint author: (1.00, 'boros endre', 'boros endre')
|
998
|
|
|
‡a
Franco, John
‡q
(John Vincent)
‡2
LC|n 87827857
‡3
standard number
|
999
|
|
|
‡2
NTABIB|906850663
|