The following pages link to Luigia Carlucci Aiello (Q274411):
Displayed 27 items.
- The multifaceted impact of Ada Lovelace in the digital age. Book review of: R. Hammerman (ed.) and A. L. Russell (ed.), Ada's legacy. Cultures of computing from the Victorian to the digital age (Q274412) (← links)
- Item:Q274411 (redirect page) (← links)
- An efficient interpreter for the lambda-calculus (Q1158139) (← links)
- Reasoning about reasoning in a meta-level architecture (Q1183375) (← links)
- Item:Q274411 (redirect page) (← links)
- PASCAL in LCF: Semantics and examples of proof (Q1242670) (← links)
- Item:Q274411 (redirect page) (← links)
- Intuitionistic autoepistemic logic (Q1370461) (← links)
- Definability and commonsense reasoning (Q1402721) (← links)
- Defaults as restrictions on classical Hilbert-style proofs (Q1895976) (← links)
- Attacking Fair-Exchange Protocols (Q2841217) (← links)
- (Q3880305) (← links)
- (Q4013825) (← links)
- (Q4050095) (← links)
- (Q4096406) (← links)
- (Q4107890) (← links)
- (Q4122847) (← links)
- (Q4139712) (← links)
- (Q4162629) (← links)
- Intelligent agents in the Situation Calculus: An application to user modelling (Q4632293) (← links)
- (Q4707750) (← links)
- (Q4877438) (← links)
- A proof theoretical approach to default reasoning I: tableaux for default logic (Q4880541) (← links)
- (Q4895421) (← links)
- (Q4934637) (← links)
- Mechanizing Mathematical Reasoning (Q5717457) (← links)
- Verifying security protocols as planning in logic programming (Q5738918) (← links)