عنوان
پدید آورنده
موضوع
رده
QA9 .S363 1989
QA9
.
S363
1989
کتابخانه
محل استقرار
0817634533
3764334533
9780817634537
9783764334536
b760692
Logic for computer scientists /
[Book]
Uwe Schöning.
Boston :
Birkhäuser,
1989.
166 pages :
illustrations ;
24 cm.
Progress in computer science and applied logic ;
v. 8
Translation of: Logik für Informatiker.
Includes bibliographical references (pages 155-159).
Logik für Informatiker.
English
Logic programming.
Logic, Symbolic and mathematical.
logique.
programmation en logique.
Logique symbolique et mathématique.
Programmation logique.
31.80 applications of mathematics.
Datenverarbeitung
Informatik
Logic programming.
Logic programming.
Logic, Symbolic and mathematical.
Logic, Symbolic and mathematical.
Logik
Logique symbolique et mathématique.
Logische Programmierung
Programmation logique.
511
.
3
20
QA9
.
S363
1989
*
03-01
03B05
03B10
03B35
28
31
.
10
31
.
80
54
.
10
68-01
68N17
68Q55
68Q60
68T15
SK
130
SS
5110
msc
msc
msc
msc
sdnb
bcl
bcl
bcl
msc
msc
msc
msc
msc
rvk
rvk
Schöning, Uwe,1955-
20201204202306.0
مطالعه متن کتاب [Book]
Y
