Výsledky vyhledávání - "Automatic theorem proving Congresses."
Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
-
1
Recent progress in the Boolean domain /
Vydáno 2014Témata: “…Automatic theorem proving Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Elektronický zdroj E-kniha -
2
Proof technology and computation
Vydáno 2006Témata: “…Automatic theorem proving Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Elektronický zdroj Konferenční příspěvek E-kniha