Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
18.5% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Відкрити LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
Problemlösen mit PROLOG
Teubner
Hanus
,
Michael
prolog
prädikat
literal
beweis
klauseln
anfrage
klausel
variablen
beweisbar
definiert
prädikate
beispiel
element
fakten
regeln
satz
programm
folgende
instantiiert
definieren
rezepte
anton
argument
elfriede
bewiesen
konk
zahl
wahr
atom
istmuttervon
kategorie
anhang
bedeutung
wert
literale
literais
struktur
jedes
enthaelt
lösung
sld
aussage
prädikats
verheiratet
datei
falls
menge
wobei
zeichen
verwendet
Рік:
1987
Мова:
german
Файл:
DJVU, 1.74 MB
Ваші теги:
0
/
0
german, 1987
2
Problemlösen mit PROLOG
Vieweg+Teubner Verlag
Michael Hanus (auth.)
prolog
prädikat
literal
beweis
klauseln
anfrage
klausel
variablen
beweisbar
beispiel
prädikate
definiert
element
fakten
regeln
satz
folgende
programm
instantiiert
elfriede
definieren
literals
anton
rezepte
argument
bewiesen
zahl
konk
atom
wahr
bedeutung
istmuttervon
kategorie
literale
struktur
wert
anhang
jedes
lösung
aussage
prädikats
enthaelt
verheiratet
datei
falls
menge
wobei
zeichen
verwendet
ausgabe
Рік:
1987
Мова:
german
Файл:
PDF, 5.26 MB
Ваші теги:
0
/
0
german, 1987
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×