+ helpreset results/page
1 items found for «+cat:08*»
Active filters: x Type: Item with a doi x Creator: Geuvers, J.H. (Herman) x Year: 2017 x Subject: 0806 - Information Systems [remove all]
Filter:
Type #2
1Dataset
Creator #2
1Van Delft, M.E.C. (Myrthe)
1Willemse, T.A.C. (Tim)
Collection
1 General collection of datasets
Data format (mime type)
1application/zip
1text/plain
1text/tab-separated-values
results 1-1
Coq formalisation of Consistent Consequence for Boolean Equation SystemsDataset2017Van Delft, M.E.C. (Myrthe); Geuvers, J.H. (Herman); Willemse, T.A.C. (Tim)