IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
Reference no #684   Download bibtex file Type :   Html | Bib | Both
    Created: 2007-12-12 11:30:33
684 Add to my selection
Manfred Kerber and Michael Kohlhase. Reasoning without Believing: On the Mechanization of Presuppositions and Partiality. Technical report, Technical Report CSRP-97-23, University of Birmingham, School of Computer Science, Birmingham, September 1997. URL [Abstract]   Bibtex entry  google [Annote]
Last modified: Thu October 16 2014 19:11:34         BibAdmin