DaftarIsitemplate

Call Number

511.3 Soc d

Title

Deduction systems/Rolf Socher-Ambrosius

Author

Socher-Ambrosius, Rolf;

Publisher

New York Springer-Verlag 1997

Subject

Automatic theorem proving

Location

FASILKOM-UI;