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

" Logic programming : "


Document Type : BL
Record Number : 688395
Doc. No : b510584
Main Entry : Andrews, James H
Title & Author : Logic programming : : operational semantics and proof theory /\ James H. Andrews
Publication Statement : Cambridge :: Cambridge University Press,, 1992
Series Statement : Distinguished dissertations in computer science
Page. NO : xi, 104 p. :: ill. ;; 26 cm
ISBN : 0521432197
Bibliographies/Indexes : Includes bibliographical references (p. 89-94) and index
Subject : Logic programming
Subject : Programming languages (Electronic computers)-- Semantics
Subject : Proof theory
Dewey Classification : ‭005.1/1‬
copyhttps://lib.clisel.com/site/catalogue/688395
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

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