Index Browse   Bibliographies My selection

Search: in All Authors Titles Conferences Journals Keywords Comments   (word length ≥ 3)       Login

Reference no #1193   Type :   Html | Bib | Both

Created: 2007-12-12 11:31:23

1193 Werner Saurer. A Natural Deduction System for Discourse Representation Theory. Technical report, CLAUS-Report 16, Universität des Saarlandes, Saarbrücken, December 1991.     google

Last modified: Thu October 16 2014 19:11:34