Concepedia

Catherine Liu

CL

1

Publications

17

Citations

1

H-Index

2002

Active since

Catherine Liu is an author specializing in formal methods, automated reasoning, and human-computer interaction.

Top concepts

AutomationEngineeringFormal MethodsComputer ScienceAutomated ReasoningMachine TranslationArtificial IntelligenceHuman-computer Interaction

Publications per year

2002–2002

1

Publications

1

Copying Machines: Taking Notes for the Automaton

J. E. Forrest, Catherine Liu · South Central Review · 2002 · 17 citations

Artificial Intelligence, Llm-based Agent, Engineering +7

Rows per page

1–1 of 1