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