Fedor
/
Nederlandse-Bibliografie-Totaal-NBT
/
Login
Register
Netwerk Digitaal Erfgoed
Nederlandse Bibliografie Totaal (NBT)
Browser
Triples
Insights
Schema
BETA
Class frequency
Class hierarchy
SPARQL
Graphs
1
Services
2
be80a287cdb0ec43aea6722fb451e2ec
be80a287cdb0ec43aea6722fb451e2ec
AboutPage
https://data.netwerkdigitaalerfgoed.nl/.well-known/genid/be80a287cdb0ec43aea6722fb451e2ec
Equivalence of the concave optimisation method and d'Agostino's tableaux for propositional logic / Jan Friso Groote, Hans van Maaren
mainEntityOfPage
be80a287cdb0ec43aea6722fb451e2ec
AboutPage
https://data.netwerkdigitaalerfgoed.nl/.well-known/genid/be80a287cdb0ec43aea6722fb451e2ec
ppn
146334817
http://www.w3.org/2001/XMLSchema#string
dateCreated
1996-03-12
http://www.w3.org/2001/XMLSchema#date
isPartOf
nbt
license
1-0/
mainEntity
Equivalence of the concave optimisation method and d'Agostino's tableaux for propositional logic / Jan Friso Groote, Hans van Maaren
type
AboutPage
sameAs
p146334817