+ helpreset results/page
1 items found for «+cat:08*»
Active filters: x Creator: Willemse, T.A.C. (Tim) x Subject: 0806 - Information Systems x Data format: text/plain [remove all]
Filter:
Type
1Dataset
1Item with a doi
Creator #2
1Geuvers, J.H. (Herman)
1Van Delft, M.E.C. (Myrthe)
Year
12017
Collection
1 General collection of datasets
Data format #2
1application/zip
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)