BibSonomy :: author  ::

bookmarks

publications

(3)

• Corrections and Higher-Order Unification
  Claire Gardent and Michael Kohlhase and Noor van Leusen CoRR cmp-lg/9609001 (1996)
  to dblp by dblp and 1 other person on 2008-01-02 00:00:00
  | URL | BibTeX  
• Enhanced reality fieldwork: the context-aware archaeological assistant.
  N. Ryan and J. Pascoe and D. Morse Computer Applications and Quantitative Methods in Archaeology (CAA 97), Oxford (1997)
  to context by aschmidt on 2007-08-19 23:45:11
  | URL | BibTeX  
• Corrections and Higher-Order Unification.
  Claire Gardent and Michael Kohlhase and Noor van Leusen KONVENS 268-279 (1996)
  to dblp by dblp and 1 other person on 2002-09-16 00:00:00
  | URL | BibTeX