There is no fulltext present in this item.

Find Full text  
Title: Proceedings Fourth Workshop on Classical Logic and Computation Warwick, England, 8th July 2012
Author(s): Geuvers, H. ; de'Liguoro, U.
Publication year: 2012
Publisher: [S.l.] : EPTCS
ISBN: 20752180
Number of Pages: 62 p.
Series: Electronic Proceedings in Theoretical Computer Science ; 97
DOI: http://dx.doi.org/10.4204/EPTCS.97
Annotation: Fourth Workshop on Classical Logic and Computation Warwick, England, 8th July 2012
Publication type: Book (monograph)

Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/103650   https://hdl.handle.net/2066/103650

Display more details
Subject: Data Science
Organization: Foundations
Software Science

This item appears in the following Collection(s)

Browse

Statistics