User Interfaces for Automated Reasoning Systems

Jørgen Villadsen

Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

Originalsprog	Engelsk
Titel	Proceedings of Third Danish HCI Research Symposium
Redaktører	Simon Heilesen, Morten Hertzum
Udgivelsessted	Denmark
Forlag	Roskilde Universitet
Publikationsdato	2003
Sider	95-98
Status	Udgivet - 2003

Link til dokument

@inbook{dd0b183052bd11dba4bc000ea68e967b,

title = "User Interfaces for Automated Reasoning Systems",

author = "J{\o}rgen Villadsen",

year = "2003",

language = "English",

series = "Datalogiske Skrifter",

number = "98",

pages = "95--98",

editor = "Simon Heilesen and Morten Hertzum",

booktitle = "Proceedings of Third Danish HCI Research Symposium",

publisher = "Roskilde Universitet",

}