Výsledky hledání pro autora

1

Obálka

Knowledge science, engineering and management : second International Conference, KSEM 2007 : Melbourne, Australia, November 28-30, 2007 : proceedings /

Vydáno 2007

Další autoři: '; “...Siekmann, Jörg, 1941-...”

Kniha

2

Obálka

Automation of reasoning. 1, Classical papers on computational logic 1957-1966 /

Vydáno 1983

Další autoři: '; “...Siekmann, Jörg, 1941-...”

Kniha

3

Obálka

Automation of reasoning. 2, Classical papers on computational logic 1967-1970 /

Vydáno 1983

Další autoři: '; “...Siekmann, Jörg, 1941-...”

Kniha