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

" Automated Practical Reasoning : "


Document Type : BL
Record Number : 767236
Doc. No : b587220
Main Entry : edited by Jochen Pfalzgraf, Dongming Wang.
Title & Author : Automated Practical Reasoning : : Algebraic Approaches\ edited by Jochen Pfalzgraf, Dongming Wang.
Publication Statement : Vienna : Springer Vienna, 1995
Series Statement : Texts and Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes-Kepler-University, Linz, Austria
ISBN : 3211826009
: : 3709166047
: : 9783211826003
: : 9783709166048
LC Classification : ‭QA76.9.A96‬‭E358 1995‬
Added Entry : Dongming Wang
: Jochen Pfalzgraf
copyhttps://lib.clisel.com/site/catalogue/767236
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

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