A Proposal of Human Interactive Proof in the Text Domain
Author(s) -
Pablo Ximenes,
André dos Santos,
Marcial P. Fernández,
Joaquim Celestino
Publication year - 2005
Language(s) - English
Resource type - Conference proceedings
DOI - 10.5753/sbseg.2005.21543
Subject(s) - computer science , proof of concept , domain (mathematical analysis) , human–computer interaction , natural language generation , natural language , artificial intelligence , natural (archaeology) , proof assistant , natural language processing , mathematics , mathematical analysis , geometry , archaeology , mathematical proof , history , operating system
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom