Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
20.7% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Відкрити LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
GWAI-85: 9th German Workshop on Artificial Intelligence Dassel/Solling, September 23–27, 1985
Springer-Verlag Berlin Heidelberg
Ansgar Beckermann (auth.)
,
Herbert Stoyan (eds.)
systems
fuer
unification
statistical
drs
defined
substitution
analysis
interpretation
regeln
z.b
literals
clause
variablen
paths
equality
variables
reasoning
verfahren
function
bzw
knoten
constraint
d.h
jlue
algorithm
beispiel
graph
lemma
sorted
substitutions
functions
theorie
menge
sets
theorem
path
fiir
bild
constraints
approach
intelligence
folgenden
abstract
temporal
proc
systeme
aile
bedeutung
programming
Рік:
1986
Мова:
german-english
Файл:
PDF, 24.01 MB
Ваші теги:
0
/
0
german-english, 1986
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×