Výsledky hledání pro autora

1

Obálka

Logical reasoning : a first course /

Autor Nederpelt, Rob, Kamareddine, Fairouz D.
Vydáno 2011

Kniha

2

Obálka

A modern perspective on type theory : from its origins until today /

Autor Kamareddine, Fairouz D., Laan, Twan, Nederpelt, Rob
Vydáno 2010

Kniha

3

Obálka

Thirty five years of automating mathematics /

Vydáno 2003

Další autoři: '; “...Kamareddine, Fairouz D....”

Kniha