Panelist position statement: logic and models in computer science.Slightly dirty maths: The richly textured mechanisms of impactComputational logic and the socialADA Lovelace Computer ScientistHardy, Littlewood and polymathStumbling Around in the Dark: Lessons from Everyday MathematicsA Hoare logic for linear systemsApplications of real number theorem proving in PVSMathematical Practice, Crowdsourcing, and Social MachinesA general framework for sound and complete Floyd-Hoare logicsThe automorphism group of a finite p-group is almost always a p-groupHidden verification for computational mathematicsThe Classification of Polynomial Orderings on Monadic TermsInvariants, Patterns and Weights for Ordering TermsComputers, Reasoning and Mathematical PracticeFormal methods for extensions to CASVSDITLU: A Verifiable Symbolic Definite Integral Table Look-UpNew Directions for Syntactic Termination OrderingsAlgebra and automated deductionTheorem proving with group presentations: Examples and questionsLinear interpretations by counting patternsSome experiments with a completion theorem proverA note on division orderings on stringsAutomating the Knuth Bendix orderingA geometrical approach to multiset orderingsUnification in Boolean ringsExtension functions for multiset orderingsAlmost all $p$-groups have automorphism group a $p$-group
P50
Q51963622-5A8942A1-D764-43D6-AC8C-39E9DD404CDFQ55393249-5733A37C-251E-48AF-A22E-BE83DD82AE8DQ55393251-1F7F1699-3EC9-41AF-B43C-C6F8DFAE450AQ55393255-4D9E3BD7-1C51-47CD-9D5D-657D0944D640Q55393259-12016320-3C62-46EF-931A-ED9F3CE49AE0Q55393261-FEA50CBD-5B65-4A91-BBA4-570302A3A672Q55393264-5723B598-ACDF-41C6-A240-7D365BC59150Q55393267-A48B76BC-4F8B-4EA2-A8F6-3B0832613574Q55393271-9FE4BDD0-B69E-4F47-94DD-F1ED602A29EEQ55393275-739DB05A-7751-443A-A53F-1EF0E4587F9DQ55393277-3030B13D-17EA-40CA-A03F-8D6D78DAC433Q55393280-DBFB6F6D-BB1C-4326-8B1F-7F627B986E08Q55393284-DD1C50D6-B10D-406E-9C4D-D2162E202B7BQ55393289-C9E59C56-A36A-4D33-B2C5-F597227A1448Q55393291-947B2DEE-5D93-40B3-A84E-6FFAC0B0CC93Q55393295-7376779F-20A7-46BF-B3CD-887EF40D5B94Q55393300-D9B7ABBC-3B1C-4D65-82C4-75F2A04C9AEFQ55393304-0829CE72-66BE-44D4-A3AC-2BC4EADDF3A2Q55393307-0D896414-D12C-465F-8418-C8EFA7D1B895Q55393310-5B120998-9ABC-4521-81E7-2901C57C60A1Q55393315-F7C94CF5-1E20-47A2-BD76-FC42E4ABC888Q55393318-99A046F7-CE99-49D0-B425-AF8DEA003E83Q55393320-4F93FDFE-9824-4247-A8C5-1D40D9455A8AQ55393323-F3E4F35F-64FD-47D0-88CF-353EE72D65FEQ55393326-5B2CE74A-BA5D-44D0-A0D0-0691F624CF02Q55393330-A3697A73-964F-4220-B06D-C51A5B8B28E0Q55393333-CCEADD88-F520-4550-BA0E-33118A2F9BB7Q55393335-CAA8C7B1-9AD8-452B-A8DC-4E2CC6A9CBAE
P50
description
British computer scientist
@en
Brits informatica
@nl
britische Informatikerin (* 1953)
@de
informatica britannica
@it
informaticienne britannique
@fr
informática teórica del Reino Unido
@es
عالِمة حاسوب من المملكة المتحدة
@ar
name
Ursula Martin
@af
Ursula Martin
@an
Ursula Martin
@ast
Ursula Martin
@bar
Ursula Martin
@br
Ursula Martin
@ca
Ursula Martin
@co
Ursula Martin
@cs
Ursula Martin
@cy
Ursula Martin
@da
type
label
Ursula Martin
@af
Ursula Martin
@an
Ursula Martin
@ast
Ursula Martin
@bar
Ursula Martin
@br
Ursula Martin
@ca
Ursula Martin
@co
Ursula Martin
@cs
Ursula Martin
@cy
Ursula Martin
@da
altLabel
Ursula Hilda Mary Martin
@en
prefLabel
Ursula Martin
@af
Ursula Martin
@an
Ursula Martin
@ast
Ursula Martin
@bar
Ursula Martin
@br
Ursula Martin
@ca
Ursula Martin
@co
Ursula Martin
@cs
Ursula Martin
@cy
Ursula Martin
@da
P108
P166
P69
P1006
P214
P227
P244
P1006
P108
P1556
martin.ursula
P166
P19
P1960
dM-hgFkAAAAJ
P21
P213
0000 0000 8152 2855
P214
P227
116077868X