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

" From Logic Design to Logic Programming: "


Document Type : BL
Record Number : 746293
Doc. No : b566242
Main Entry : D Snyers
Title & Author : From Logic Design to Logic Programming: : Theorem Proving Techniques and P-Functions.\ D Snyers
Publication Statement : Berlin, Heidelberg : Springer Berlin Heidelberg, 1987
Series Statement : Lecture notes in computer science, 271.
Page. NO : (IV, 125 pages)
ISBN : 3540182179
: : 3540478116
: : 9783540182177
: : 9783540478119
Contents : Theorem in proving and P-functions --; Grammars, logics and declarative programming --; Grammars and Semantics.
Subject : Computer logic.
Subject : Computer programming.
Subject : Computer science.
LC Classification : ‭QA76.9.A96‬‭D769 1987‬
Added Entry : A Thayse
: D Snyers
copyhttps://lib.clisel.com/site/catalogue/746293
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

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