Leader
|
|
|
00000nz a2200037n 45 0 |
001
|
|
|
LC|no2003072598
(VIAF cluster)
(Authority/Source Record)
|
003
|
|
|
LC |
005
|
|
|
20030723052615.0 |
008
|
|
|
030722n| acannaabn |a aaa c |
035
|
|
|
‡a
(LC)no2003072598
|
010
|
|
|
‡a
no2003072598
|
035
|
|
|
‡a
(OCoLC)oca06106524
|
040
|
|
|
‡a
AzTeS
‡b
eng
‡c
AzTeS
|
100
|
1 |
|
‡a
Azevedo, Francisco
|
400
|
1 |
|
‡a
Azevedo, Francisco de Moura e Castro Ascensão de
|
400
|
1 |
|
‡a
De Azevedo, Francisco de Moura e Castro Ascensão
|
400
|
1 |
|
‡a
Castro Ascensão de Azevedo, Francisco de Moura e
|
400
|
1 |
|
‡a
Moura e Castro Ascensão de Azevedo, Francisco de
|
400
|
1 |
|
‡a
De Moura e Castro Ascensão de Azevedo, Francisco
|
400
|
1 |
|
‡a
Ascensão de Azevedo, Francisco de Moura e Castro
|
670
|
|
|
‡a
Constraint solving over multi-valued logics, 2003:
‡b
t.p. (Francisco Azevedo) p. vii (Francisco de Moura e Castro Ascensão de Azevedo)
|
901
|
|
|
‡a
978354073816
‡9
1
|
901
|
|
|
‡a
978427490555
‡9
1
|
901
|
|
|
‡a
978158603304
‡9
1
|
903
|
|
|
‡a
7931597
‡9
1
|
903
|
|
|
‡a
2002113947
‡9
1
|
910
|
|
|
‡a
erciminternationalworkshoponconstraintsolvingandconstraintlogicprogramming
‡A
ERCIM International Workshop on Constraint Solving and Constraint Logic Programming
‡l
eng
‡9
1
|
910
|
|
|
‡a
recentadvancesinconstraints11annualerciminternationalworkshoponconstraintsolvingandconstraintlogicprogrammingcsclp2006caparicaportugaljune26282006revisedselectedandinvitedpapers
‡A
Recent advances in constraints:
‡b
11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006: revised selected and invited papers /
‡l
eng
‡9
1
|
910
|
|
|
‡a
constraintsolvingovermultivaluedlogicsapplicationtodigitalcircuits
‡A
Constraint solving over multi-valued logics:
‡b
application to digital circuits /
‡l
eng
‡9
1
|
919
|
|
|
‡a
constraintsolvingovermultivaluedlogics
‡A
Constraint solving over multi-valued logics, 2003:
‡9
1
|
920
|
|
|
‡a
978-35407
‡9
1
|
920
|
|
|
‡a
978-158
‡9
1
|
920
|
|
|
‡a
978-42749
‡9
1
|
921
|
|
|
‡a
springer verlag
‡b
Springer-Verlag,
‡9
1
|
921
|
|
|
‡a
ios press ohmsha
‡b
IOS Press;
‡b
Ohmsha,
‡9
1
|
922
|
|
|
‡a
gw
‡b
de
‡9
1
|
922
|
|
|
‡a
ne
‡b
nl
‡9
1
|
930
|
|
|
‡a
francisco azevedo
‡c
Francisco Azevedo... [et al.] (eds.).
‡9
2
|
940
|
|
|
‡a
eng
‡9
2
|
942
|
|
|
‡a
QA76.612
‡9
1
|
942
|
|
|
‡a
TK7874
‡9
1
|
943
|
|
|
‡a
200x
‡A
2003
‡9
3
|
944
|
|
|
‡a
dm
‡9
1
|
944
|
|
|
‡a
am
‡9
1
|
951
|
|
|
‡a
european research consortium for informatics and mathematics
‡A
European Research Consortium for Informatics and Mathematics.
‡9
1
|
996
|
|
|
‡2
ISNI|0000000092429234
|
996
|
|
|
‡2
NTA|357500911
|
996
|
|
|
‡2
BLBNB|000262770
|
996
|
|
|
‡2
ISNI|0000000043982375
|
996
|
|
|
‡2
BNE|XX1064687
|
996
|
|
|
‡2
SUDOC|262211335
|
996
|
|
|
‡2
SUDOC|242253164
|
996
|
|
|
‡2
PTBNP|1429658
|
996
|
|
|
‡2
WKP|Q55089607
|
996
|
|
|
‡2
BNCHL|10000000000000000129602
|
996
|
|
|
‡2
WKP|Q92234185
|
996
|
|
|
‡2
BNC|981058527799506706
|
996
|
|
|
‡2
PTBNP|918129
|
996
|
|
|
‡2
SUDOC|16944676X
|
996
|
|
|
‡2
BLBNB|000265599
|
996
|
|
|
‡2
PTBNP|42475
|
996
|
|
|
‡2
WKP|Q55531487
|
996
|
|
|
‡2
ISNI|000000006776484X
|
996
|
|
|
‡2
PTBNP|42470
|
996
|
|
|
‡2
BNE|XX1085784
|
996
|
|
|
‡2
WKP|Q112326474
|
996
|
|
|
‡2
BNE|XX1137926
|
996
|
|
|
‡2
CAOONL|ncf10058642
|
996
|
|
|
‡2
BNE|XX1522729
|
996
|
|
|
‡2
WKP|Q2734383
|
996
|
|
|
‡2
SUDOC|276857364
|
996
|
|
|
‡2
BNE|XX966455
|
996
|
|
|
‡2
WKP|Q5483947
|
996
|
|
|
‡2
SUDOC|179277413
|
996
|
|
|
‡2
ISNI|0000000080180793
|
996
|
|
|
‡2
WKP|Q64849056
|
996
|
|
|
‡2
WKP|Q65594041
|
996
|
|
|
‡2
BLBNB|000153579
|
996
|
|
|
‡2
WKP|Q10285352
|
996
|
|
|
‡2
WKP|Q106545366
|
996
|
|
|
‡2
DNB|140076794
|
996
|
|
|
‡2
WKP|Q112036736
|
996
|
|
|
‡2
BNE|XX853065
|
996
|
|
|
‡2
PTBNP|148158
|
996
|
|
|
‡2
WKP|Q5484147
|
996
|
|
|
‡2
WKP|Q10284889
|
996
|
|
|
‡2
NTA|103795340
|
996
|
|
|
‡2
WKP|Q75371088
|
996
|
|
|
‡2
BNE|XX1535091
|
996
|
|
|
‡2
WKP|Q27062904
|
996
|
|
|
‡2
DNB|1213064929
|
996
|
|
|
‡2
BNE|XX4444209
|
996
|
|
|
‡2
WKP|Q109855829
|
996
|
|
|
‡2
WKP|Q2030211
|
996
|
|
|
‡2
WKP|Q64744763
|
996
|
|
|
‡2
ICCU|PALV039749
|
996
|
|
|
‡2
BNE|XX1768096
|
996
|
|
|
‡2
PTBNP|1414631
|
996
|
|
|
‡2
WKP|Q110628070
|
996
|
|
|
‡2
BAV|495_226956
|
996
|
|
|
‡2
WKP|Q2486129
|
996
|
|
|
‡2
DNB|119638436
|
996
|
|
|
‡2
BLBNB|000546711
|
996
|
|
|
‡2
BNE|XX1013547
|
996
|
|
|
‡2
ISNI|0000000025667670
|
996
|
|
|
‡2
PTBNP|65272
|
996
|
|
|
‡2
SUDOC|084085053
|
996
|
|
|
‡2
BNCHL|10000000000000000848367
|
996
|
|
|
‡2
DNB|1056558806
|
996
|
|
|
‡2
WKP|Q50882473
|
996
|
|
|
‡2
WKP|Q61880183
|
996
|
|
|
‡2
PTBNP|1270459
|
996
|
|
|
‡2
WKP|Q100727493
|
996
|
|
|
‡2
WKP|Q19290984
|
996
|
|
|
‡2
WKP|Q19950622
|
996
|
|
|
‡2
SUDOC|066010861
|
996
|
|
|
‡2
SUDOC|189914882
|
996
|
|
|
‡2
PTBNP|202799
|
996
|
|
|
‡2
BLBNB|000177900
|
996
|
|
|
‡2
WKP|Q12388911
|
996
|
|
|
‡2
ISNI|0000000030968523
|
996
|
|
|
‡2
BNE|XX1148843
|
996
|
|
|
‡2
WKP|Q64849939
|
996
|
|
|
‡2
DNB|1056380489
|
996
|
|
|
‡2
WKP|Q1442059
|
996
|
|
|
‡2
ISNI|0000000069202461
|
996
|
|
|
‡2
WKP|Q85457041
|
996
|
|
|
‡2
WKP|Q11681947
|
996
|
|
|
‡2
WKP|Q51386280
|
996
|
|
|
‡2
WKP|Q99478372
|
996
|
|
|
‡2
WKP|Q10285099
|
996
|
|
|
‡2
PTBNP|42560
|
996
|
|
|
‡2
ISNI|0000000061061211
|
996
|
|
|
‡2
WKP|Q60500667
|
996
|
|
|
‡2
DNB|1036272397
|
996
|
|
|
‡2
PTBNP|1777789
|
996
|
|
|
‡2
PTBNP|217534
|
996
|
|
|
‡2
CAOONL|ncf10813171
|
996
|
|
|
‡2
PLWABN|9811714584805606
|
996
|
|
|
‡2
BNE|XX1300143
|
996
|
|
|
‡2
BLBNB|000294795
|
996
|
|
|
‡2
BNE|XX1520250
|
996
|
|
|
‡2
WKP|Q94509915
|
996
|
|
|
‡2
J9U|987007291170905171
|
996
|
|
|
‡2
BLBNB|000339788
|
996
|
|
|
‡2
ISNI|0000000073314554
|
996
|
|
|
‡2
DNB|123279267
|
996
|
|
|
‡2
SUDOC|204701783
|
996
|
|
|
‡2
SUDOC|254394892
|
996
|
|
|
‡2
WKP|Q5479509
|
996
|
|
|
‡2
BNE|XX1305411
|
996
|
|
|
‡2
BAV|495_200907
|
996
|
|
|
‡2
PTBNP|127607
|
996
|
|
|
‡2
BAV|495_200905
|
996
|
|
|
‡2
NYNYRILM|21614
|
996
|
|
|
‡2
PTBNP|1822857
|
996
|
|
|
‡2
WKP|Q10284555
|
996
|
|
|
‡2
PTBNP|221764
|
996
|
|
|
‡2
PTBNP|1151552
|
996
|
|
|
‡2
DNB|1159051585
|
996
|
|
|
‡2
ISNI|0000000495631621
|
996
|
|
|
‡2
ISNI|0000000061499360
|
996
|
|
|
‡2
DNB|1057510033
|
996
|
|
|
‡2
WKP|Q91582379
|
996
|
|
|
‡2
DNB|1113310154
|
996
|
|
|
‡2
PTBNP|1850263
|
996
|
|
|
‡2
BNCHL|10000000000000000054341
|
996
|
|
|
‡2
ISNI|0000000122763330
|
996
|
|
|
‡2
BNE|XX1034939
|
996
|
|
|
‡2
BNF|12073997
|
996
|
|
|
‡2
BNE|XX1087610
|
996
|
|
|
‡2
PTBNP|1625860
|
996
|
|
|
‡2
ICCU|RAVV030455
|
996
|
|
|
‡2
BLBNB|001542845
|
996
|
|
|
‡2
SUDOC|258039299
|
996
|
|
|
‡2
PTBNP|91466
|
996
|
|
|
‡2
DNB|1284999890
|
996
|
|
|
‡2
ISNI|000000007063451X
|
996
|
|
|
‡2
BNE|XX6155924
|
996
|
|
|
‡2
ISNI|0000000070709593
|
996
|
|
|
‡2
ISNI|0000000070521881
|
996
|
|
|
‡2
SUDOC|268896887
|
996
|
|
|
‡2
SUDOC|23117103X
|
996
|
|
|
‡2
WKP|Q5865500
|
996
|
|
|
‡2
PLWABN|9810656135705606
|
996
|
|
|
‡2
WKP|Q130812676
|
996
|
|
|
‡2
BLBNB|001071925
|
996
|
|
|
‡2
WKP|Q17414117
|
996
|
|
|
‡2
SUDOC|105675407
|
996
|
|
|
‡2
WKP|Q64850273
|
996
|
|
|
‡2
DNB|1049922530
|
996
|
|
|
‡2
JPG|500038569
|
996
|
|
|
‡2
SUDOC|136755046
|
996
|
|
|
‡2
WKP|Q116893710
|
996
|
|
|
‡2
DNB|134180321
|
996
|
|
|
‡2
DNB|1056247541
|
996
|
|
|
‡2
NYNYRILM|310335
|
996
|
|
|
‡2
WKP|Q56308263
|
996
|
|
|
‡2
NTA|141471786
|
996
|
|
|
‡2
ISNI|0000000026790072
|
996
|
|
|
‡2
ISNI|0000000116457257
|
996
|
|
|
‡2
WKP|Q5865151
|
996
|
|
|
‡2
NUKAT|n 2017156817
|
996
|
|
|
‡2
WKP|Q9300159
|
996
|
|
|
‡2
DNB|1053410700
|
996
|
|
|
‡2
BNE|XX5424741
|
996
|
|
|
‡2
ISNI|0000000068211614
|
996
|
|
|
‡2
ISNI|0000000068109855
|
996
|
|
|
‡2
SUDOC|145691799
|
996
|
|
|
‡2
BLBNB|000561566
|
996
|
|
|
‡2
WKP|Q58397639
|
996
|
|
|
‡2
WKP|Q5867215
|
996
|
|
|
‡2
PTBNP|180003
|
996
|
|
|
‡2
BNF|14579099
|
996
|
|
|
‡2
BNE|XX1371830
|
996
|
|
|
‡2
ISNI|0000000069728746
|
996
|
|
|
‡2
BNF|12324608
|
996
|
|
|
‡2
DNB|1158332378
|
996
|
|
|
‡2
WKP|Q5483788
|
996
|
|
|
‡2
ISNI|0000000020044538
|
996
|
|
|
‡2
JPG|500117358
|
996
|
|
|
‡2
PTBNP|1783520
|
996
|
|
|
‡2
NTA|070065152
|
996
|
|
|
‡2
WKP|Q10284689
|
996
|
|
|
‡2
ICCU|UFIV073788
|
996
|
|
|
‡2
ISNI|0000000069892239
|
996
|
|
|
‡2
NTA|227503155
|
996
|
|
|
‡2
BNE|XX1728003
|
996
|
|
|
‡2
WKP|Q85474075
|
996
|
|
|
‡2
DNB|100380883
|
996
|
|
|
‡2
BLBNB|000324290
|
996
|
|
|
‡2
WKP|Q96834049
|
996
|
|
|
‡2
BLBNB|001546956
|
996
|
|
|
‡2
PTBNP|1835135
|
996
|
|
|
‡2
ISNI|0000000116245676
|
996
|
|
|
‡2
RERO|A018685947
|
996
|
|
|
‡2
SUDOC|078041945
|
996
|
|
|
‡2
ISNI|000000006680255X
|
996
|
|
|
‡2
WKP|Q17318188
|
996
|
|
|
‡2
BLBNB|001459987
|
996
|
|
|
‡2
NUKAT|n 2014182308
|
996
|
|
|
‡2
BLBNB|000567327
|
996
|
|
|
‡2
J9U|987007314039505171
|
996
|
|
|
‡2
RERO|A003083598
|
996
|
|
|
‡2
BLBNB|000709816
|
996
|
|
|
‡2
DNB|1057270598
|
996
|
|
|
‡2
WKP|Q10285011
|
996
|
|
|
‡2
WKP|Q64761711
|
996
|
|
|
‡2
PTBNP|1683418
|
996
|
|
|
‡2
BLBNB|000182445
|
996
|
|
|
‡2
WKP|Q27057572
|
996
|
|
|
‡2
WKP|Q112408673
|
996
|
|
|
‡2
ISNI|0000000069424961
|
996
|
|
|
‡2
RERO|A003083600
|
996
|
|
|
‡2
DNB|1046344331
|
996
|
|
|
‡2
DNB|1158710747
|
996
|
|
|
‡2
ISNI|0000000071311819
|
996
|
|
|
‡2
WKP|Q88367900
|
996
|
|
|
‡2
BNCHL|10000000000000000151782
|
996
|
|
|
‡2
SUDOC|158686969
|
996
|
|
|
‡2
WKP|Q906474
|
996
|
|
|
‡2
BLBNB|000267624
|
996
|
|
|
‡2
ISNI|0000000066379018
|
996
|
|
|
‡2
WKP|Q10285424
|
996
|
|
|
‡2
WKP|Q125511612
|
996
|
|
|
‡2
SUDOC|082015554
|
996
|
|
|
‡2
BNC|981061199195906706
|
996
|
|
|
‡2
WKP|Q16910095
|
996
|
|
|
‡2
WKP|Q5484163
|
996
|
|
|
‡2
JPG|500118119
|
996
|
|
|
‡2
DNB|1290312257
|
996
|
|
|
‡2
SUDOC|17722021X
|
996
|
|
|
‡2
WKP|Q108414701
|
996
|
|
|
‡2
WKP|Q21460078
|
996
|
|
|
‡2
ISNI|0000000066869711
|
996
|
|
|
‡2
SUDOC|122560337
|
996
|
|
|
‡2
BNE|XX1517997
|
996
|
|
|
‡2
DNB|1057328936
|
996
|
|
|
‡2
BNC|981058517431906706
|
996
|
|
|
‡2
PTBNP|44513
|
996
|
|
|
‡2
BAV|495_200911
|
996
|
|
|
‡2
BNCHL|10000000000000000274963
|
996
|
|
|
‡2
BNC|981058520219006706
|
996
|
|
|
‡2
DNB|1089598459
|
996
|
|
|
‡2
WKP|Q5865233
|
996
|
|
|
‡2
ISNI|0000000066860688
|
996
|
|
|
‡2
NKC|stk2007415834
|
996
|
|
|
‡2
BAV|495_255654
|
996
|
|
|
‡2
BNE|XX1084561
|
996
|
|
|
‡2
WKP|Q10284589
|
996
|
|
|
‡2
BNC|981058515306406706
|
996
|
|
|
‡2
BNE|XX1001975
|
996
|
|
|
‡2
WKP|Q99574231
|
996
|
|
|
‡2
ISNI|0000000054383239
|
996
|
|
|
‡2
BNF|15899981
|
997
|
|
|
‡a
0 0 lived 0 0
‡9
1
|
998
|
|
|
‡a
Azevedo,
‡b
Francisco de Moura e Castro Ascensão de
‡2
PTBNP|1145561
‡3
title: (1.00, 'constraintsolvingovermultivaluedlogicsapplicationtodigitalcircuits', 'constraintsolvingovermultivaluedlogicsappplicationtodigitalcircuits')
|
998
|
|
|
‡a
Azevedo, Francisco
‡2
CAOONL|ncf11459591
‡3
exact title: (1.00, 'constraintsolvingovermultivaluedlogics', 'constraintsolvingovermultivaluedlogics')
|
998
|
|
|
‡a
Azevedo, Francisco,
‡2
SUDOC|250745992
‡3
standard number
|
998
|
|
|
‡a
Azevedo, Francisco
‡2
ISNI|0000000066869711
‡3
joint author: (1.00, 'european research consortium for informatics and mathematics', 'european research consortium for informatics and mathematics')
|
998
|
|
|
‡a
Azevedo, Francisco de Moura e Castro Ascensão de
‡2
ISNI|0000000066869711
‡3
joint author: (1.00, 'european research consortium for informatics and mathematics', 'european research consortium for informatics and mathematics')
|
998
|
|
|
‡a
Azevedo, Francisco
‡2
DNB|173949355
‡3
standard number
|
998
|
|
|
‡a
Azevedo, Francisco
‡2
J9U|987007444413005171
‡3
exact title: (1.00, 'constraintsolvingovermultivaluedlogics', 'constraintsolvingovermultivaluedlogics')
‡3
viafid
‡3
lccn:no2003-72598
|
999
|
|
|
‡2
LCBIB|2007931597
|
999
|
|
|
‡2
LCBIB|2002113947
|