Predstavenie autora Daniel Kroening:

Doterajšie vydané knihy od Daniel Kroening:

Rozhodovacie postupy: Algoritmické hľadisko - Decision Procedures: An Algorithmic Point of...

Rozhodovacia procedúra je algoritmus, ktorý pri...