DaftarIsitemplate

Call Number

006.35 Sie a

Title

Automation of reasoning 1: classical papers on computational logic 1957-1966

Author

Siekmann, Jorg; Wrightson, Graham ed.;

Publisher

"New York: Springer Verlag, 1983"

Subject

Artificial Intelligence

Location

FASILKOM-UI;