Deduktionssystem

3 books
DeductionWOLFGANG BIBEL
⏱ 4h 13m

Deduction

WOLFGANG BIBEL

1993253 pp.
Frontiers of combining systemsFroCoS 2002 (2002 Santa Margherita Ligure, Italy)
⏱ 4h 14m

Frontiers of combining systems

FroCoS 2002 (2002 Santa Margherita Ligure, Italy)

2002254 pp.
Frontiers of Combining SystemsBernhard Gramlich
⏱ 5h 21m

Frontiers of Combining Systems

Bernhard Gramlich

2005321 pp.