منو
رکورد قبلیرکورد بعدی

" A many-sorted calculus based on resolution and paramodulation "


Document Type : BL
Record Number : 568029
Doc. No : b397248
Main Entry : Walther, Christoph.
Title & Author : A many-sorted calculus based on resolution and paramodulation\ Christoph Walther.
Publication Statement : London, [England] ;Los Altos, California :: Pitman :: Morgan Kaufmann Publishers, Inc.,, 1987.
Series Statement : Research Notes in Artificial Intelligence,
ISBN : 9780273087182
: : 9781483258935
Bibliographies/Indexes : Includes bibliographical references.
Subject : Automatic theorem proving.
Subject : Artificial intelligence.
Added Entry : ScienceDirect (Online service).
copyhttps://lib.clisel.com/site/catalogue/568029
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟