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;