Обложка книги Relevancy Based Use of Lemmas in Connection Tableau Calculi (Dissertations in Artificial Intelligence-Infix, 227)

Relevancy Based Use of Lemmas in Connection Tableau Calculi (Dissertations in Artificial Intelligence-Infix, 227)

ISBN: 1586031236;
Издательство: Ios Pr Inc