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

" Logic for computer scientists / "


Document Type : BL
Record Number : 1006322
Doc. No : b760692
Uniform Title : Logik für Informatiker.English
Main Entry : Schöning, Uwe,1955-
Title & Author : Logic for computer scientists /\ Uwe Schöning.
Publication Statement : Boston :: Birkhäuser,, 1989.
Series Statement : Progress in computer science and applied logic ;; v. 8
Page. NO : 166 pages :: illustrations ;; 24 cm.
ISBN : 0817634533
: : 3764334533
: : 9780817634537
: : 9783764334536
Notes : Translation of: Logik für Informatiker.
Bibliographies/Indexes : Includes bibliographical references (pages 155-159).
Subject : Logic programming.
Subject : Logic, Symbolic and mathematical.
Subject : logique.
Subject : programmation en logique.
Subject : Logique symbolique et mathématique.
Subject : Programmation logique.
Subject : 31.80 applications of mathematics.
Subject : Datenverarbeitung
Subject : Informatik
Subject : Logic programming.
Subject : Logic programming.
Subject : Logic, Symbolic and mathematical.
Subject : Logic, Symbolic and mathematical.
Subject : Logik
Subject : Logique symbolique et mathématique.
Subject : Logische Programmierung
Subject : Programmation logique.
Dewey Classification : ‭511.3‬
LC Classification : ‭QA9‬‭.S363 1989‬
NLM classification : ‭*03-01‬msc
: ‭03B05‬msc
: ‭03B10‬msc
: ‭03B35‬msc
: ‭28‬sdnb
: ‭31.10‬bcl
: ‭31.80‬bcl
: ‭54.10‬bcl
: ‭68-01‬msc
: ‭68N17‬msc
: ‭68Q55‬msc
: ‭68Q60‬msc
: ‭68T15‬msc
: ‭SK 130‬rvk
: ‭SS 5110‬rvk
copyhttps://lib.clisel.com/site/catalogue/1006322
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

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