Mijn boeken
← Catalogus
SmArT solving
M.J.H. Heule

SmArT solving tool and techniques for satisfiability solvers

M.J.H. Heule
Hardback144 pagina’sEngels
In het kort
ISBN-13
9789090228778
Uitgever
Heule, M.
Verschenen
25 maart 2008
NUR
984 · Kunstmatige intelligentie

Lijkt op dit boek

Omslag van AI AI AI
AI AI AI
Omslag van AI AI AI
AI AI AI
Omslag van De AGI-kronieken
De AGI-kronieken
Omslag van Algoritmes die over je geld beslissen
Algoritmes die over je geld beslissen
Omslag van Vertaalmachines en wat verloren gaat
Vertaalmachines en wat verloren gaat
Omslag van Making AI Work for You
Making AI Work for You
Omslag van Kunstmatige intelligentie in je kleine bedrijf
Kunstmatige intelligentie in je kleine bedrijf
Omslag van Wanneer een machine mag beslissen
Wanneer een machine mag beslissen
Omslag van Wat er gebeurt als de computer nee zegt
Wat er gebeurt als de computer nee zegt
Omslag van Wie de trainingsdata koos
Wie de trainingsdata koos
NSTC 500627241 · CB-relatie 9792429 · Bijgewerkt 6 augustus 2026
Bestel bij bol →
← Terug naar resultaten
SmArT solving
M.J.H. Heule

SmArT solving

tool and techniques for satisfiability solvers
M.J.H. Heule
Hardback144 pagina’sEngels
Bestel bij bol →
In het kort
ISBN-13
9789090228778
Uitgever
Heule, M.
Verschenen
25 maart 2008
NUR
984 · Kunstmatige intelligentie

Lijkt op dit boek

Alles bekijken →
Omslag van AI AI AI
AI AI AI
Anna Gimbrère
Omslag van AI AI AI
AI AI AI
Anna Gimbrère
Omslag van De AGI-kronieken
De AGI-kronieken
Kevin Roose
Omslag van Algoritmes die over je geld beslissen
Algoritmes die over je geld beslissen
Waries B.V.
Omslag van Vertaalmachines en wat verloren gaat
Vertaalmachines en wat verloren gaat
Waries B.V.
Omslag van Making AI Work for You
Making AI Work for You
Waries B.V.
NSTC 500627241 · CB-relatie 9792429 · Bijgewerkt 6 augustus 2026