Obálka

Recent progress in the Boolean domain /

Zobrazit další vydání (1)
Uloženo v:
Podrobná bibliografie
Další autoři: Steinbach, Bernd (Editor)
Médium: Elektronický zdroj E-kniha
Jazyk:angličtina
Vydáno: Newcastle upon Tyne, England : Cambridge Scholars Publishing, 2014.
Témata:
Automatic theorem proving > Congresses.
Logic, Symbolic and mathematical > Congresses.
Electronic books.
On-line přístup:An electronic book accessible through the World Wide Web; click to view
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Popis jednotky:"All sections are written from authors who presented their new results at the 10th IWSBP in September 2012 in Freiberg, Germany."
Fyzický popis:1 online resource (458 pages) : illustrations
Bibliografie:Includes bibliographical references and index.
ISBN:9781443859677 (e-book)

Podobné jednotky