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

" Cornerstones of undecidability / "


Document Type : BL
Record Number : 623167
Doc. No : dltt
Main Entry : Rozenberg, Grzegorz
Title & Author : Cornerstones of undecidability /\ Grzegorz Rozenberg and Arto Salomaa
Series Statement : Prentice Hall international series in computer science
Page. NO : xvi, 197 pages :: illustrations ;; 24 cm
ISBN : 0132974258
: : 9780132974257
Bibliographies/Indexes : Includes bibliographical references (pages 193-194) and index
Subject : Unsolvability (Mathematical logic)
Subject : Decidability (Mathematical logic)
Subject : théorie démonstration
Subject : équation diophantienne
Subject : récursivité
Subject : Logique
Subject : indécidabilité
Subject : Mathematical logic
Dewey Classification : ‭511.3‬
LC Classification : ‭QA9.63‬‭.R69 1994‬
Added Entry : Salomaa, Arto
copyhttps://lib.clisel.com/site/catalogue/623167
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

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