Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
18.4% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Відкрити LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
The RTTY listener : issues one through twenty-five
Universal Radio Research
Osterman
,
Fred J.
rtty
fax
tfc
upi
fbh
sij
baud
listener
issue
fdm
universal
satellite
idle
tom2
prog
khz
shortwave
shift
frequency
loggings
tarq
meteo
tass
tech
afrts
fomb
lsb
newsletter
tdm2
rftj
atom2
info
printer
dakar
weather
arqtor
ussr
sfc
vns
ship
tdm
signal
pcs
24hr
tuning
maps
satcom
gmt
ascii
usn
Рік:
1988
Мова:
english
Файл:
PDF, 35.58 MB
Ваші теги:
0
/
0
english, 1988
2
Automatische Synthese rekursiver Programme als Beweisverfahren
Springer-Verlag Berlin Heidelberg
Susanne Biundo (auth.)
formel
false
v:nat
beispiel
gilt
cdr
y:nat
formeln
urn
fallunterscheidung
seiten
anwendung
beweis
taut
theoriespezifikation
vgl
mklist
menge
erhalten
flir
extraktionsregel
skolemfunktion
folgt
funktion
append
definitionsformel
u:nat
d.h
heuristiken
programm
bool
folgende
seien
deff
aile
synthese
delete
hrsg
zunachst
angewandt
erzeugt
fonnel
reverse
assigned
diff
falls
induktionsregel
programme
abschnitt
proceedings
Рік:
1992
Мова:
german
Файл:
PDF, 6.13 MB
Ваші теги:
0
/
0
german, 1992
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×