Mechanizing inductive theorem proving in conditional theories, Ulrich Fraus
Nikdo zatím neohodnotil.Ohodnotit