On the use of second order derivatives for the satisfiability problem / Hans van Maaren - Nederlandse Bibliografie Totaal (NBT) - Fedor - Netwerk Digitaal Erfgoed

On the use of second order derivatives for the satisfiability problem / Hans van Maaren

On the use of second order derivatives for the satisfiability problem / Hans van Maaren

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

ddea4dc0fec926bac1aa917ad9ad1ae1

mainEntity

On the use of second order derivatives for the satisfiability problem / Hans van Maaren

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

about

author

inLanguage

en

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

isPartOf

Reports of the Faculty of Technical Mathematics and Informatics

mainEntityOfPage

ddea4dc0fec926bac1aa917ad9ad1ae1

name

On the use of second order derivatives for the satisfiability problem

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

numberOfPages

11

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

publication

d794a5e1139db3ed85dac652f6e89cfa

sameAs

type

label

On the use of second order derivatives for the satisfiability problem / Hans van Maaren

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