търсене на книга
книги
Направете дарение
Впиши се
Впиши се
оторизираните потребители имат достъп до:
лични препоръки
Телеграм бот
хронология на изтеглянията
изпрати до Email или Kindle
управление на колекцията
запазване в любими
Лично
Заявки за книги
Изучаване
Z-Recommend
Списъци с книги
Най-популярни
Категории
Участие
Направете дарение
Качвания
Litera Library
Дарете хартиени книги
Добавяне на хартиени книги
Search paper books
Моят LITERA Point
Търсене на термини
Main
Търсене на термини
search
1
Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings
Springer International Publishing;Springer
Keisuke Nakano
,
Konstantinos Sagonas
calculus
session
programming
doi.org
reduction
programs
function
query
ls3
specification
bx1
first
πi
functions
step
systems
springer
lncs
implementation
bx2
defined
lemma
acm
values
definition
gamma
typing
variables
input
nested
computation
sql
grouping
sect
testing
typed
structures
dist
cyclic
composition
writelist
cbv
proceedings
generated
normalization
ocaml
syntax
λx.t
output
dsl
Година:
2020
Език:
english
Файл:
PDF, 5.53 MB
Вашите тагове:
0
/
0
english, 2020
2
高级TURBO PROLOG
东营:石油大学出版社
(美)希尔德(Schildt,H.)著;庄长淞等译
assert
flight
prolog
cursor
isflight
denver
query
readin
add_to_route
farmer
attributes
leftbank
integer
grain
newyork
sail
toronto
distance
purge
visited
rightbank
chicken
fail
rrr
chicago
retract
transportleft
transportright
findroute
info
los_angeles
trailno
houston
rra
trailyes
xtrailyes
connects
findlargest
keys
responses
database
findoptimal
goal
movefarmer
writelist
xtrailno
xwrite
xyz
bes
consult
Година:
1991
Език:
chinese
Файл:
PDF, 6.93 MB
Вашите тагове:
0
/
0
chinese, 1991
1
Следвайте
тази връзка
или потърсете бот „@BotFather“ в Telegram
2
Изпратете команда /newbot
3
Въведете име за вашия бот
4
Въведете потребителско име за бота
5
Копирайте последното съобщение от BotFather и го поставете тук
×
×