Personensuche
X
?
Outstanding Contributions to Logic; Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs ,
2
Satisfiability, Lattices, Temporal Logic and Constraint Log..:
, In:
?
2021 8th International Conference on ICT & Accessibility (ICTA) ,
3
Helping Persons with Cognitive Disabilities using Voice-Act..:
, In:
?
Proceedings of the 2007 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Workshops ,
14