Automation of reasoning: classical papers on computational logic by Siekmann, Jörg H., Informatiker, Deutschland, Siekmann, Jörg H., Information scientist, Germany, Siekmann, Jörg H., Informaticien, Allemagne fromSymbolic computation 0 Type: Book
