Equivalence of the concave optimisation method and d'Agostino's tableaux for propositional logic / Jan Friso Groote, Hans van Maaren - Nederlandse Bibliografie Totaal (NBT) - Fedor - Netwerk Digitaal Erfgoed

Equivalence of the concave optimisation method and d'Agostino's tableaux for propositional logic / Jan Friso Groote, Hans van Maaren

Equivalence of the concave optimisation method and d'Agostino's tableaux for propositional logic / Jan Friso Groote, Hans van Maaren

http://data.bibliotheken.nl/id/nbt/p146334817

be80a287cdb0ec43aea6722fb451e2ec

mainEntity

Equivalence of the concave optimisation method and d'Agostino's tableaux for propositional logic / Jan Friso Groote, Hans van Maaren

http://data.bibliotheken.nl/id/nbt/p146334817

about

author

contributor

inLanguage

en

http://www.w3.org/2001/XMLSchema#string

isPartOf

Reports of the Faculty of Technical Mathematics and Informatics

mainEntityOfPage

be80a287cdb0ec43aea6722fb451e2ec

name

Equivalence of the concave opt ...... bleaux for propositional logic

http://www.w3.org/2001/XMLSchema#string

numberOfPages

13

http://www.w3.org/2001/XMLSchema#integer

publication

d51139da3783cbad73f3b228105dd33b

sameAs

type

label

Equivalence of the concave opt ...... Friso Groote, Hans van Maaren

http://www.w3.org/2001/XMLSchema#string