Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
20.1% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Відкрити LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
Aussagenlogik: Deduktion und Algorithmen
Vieweg+Teubner Verlag
Prof. Dr. rer. nat. Hans Kleine Büning
,
Dr. rer. pol. Theodor Lettmann (auth.)
formel
fiir
formeln
knf
klausel
horn
klauseln
gilt
atom
literal
algorithmus
bewertung
atome
beweis
literale
d.h
dafi
folgt
herleitung
satz
erhalten
zeigen
menge
atoms
widerspruchsvoll
anzahl
knoten
prolog
atomen
falls
beispiel
lemma
abbildung
input
daher
flir
vorkommen
iiber
bzw
verfahren
erfiillbar
urn
enthalt
umbenennung
variablen
enthalten
jedes
erfiillbarkeit
folgenden
aquivalenz
Рік:
1994
Мова:
german
Файл:
PDF, 18.59 MB
Ваші теги:
0
/
0
german, 1994
2
Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe.
Verlag der Ungarischen Akademie der Wissenschaften
Surányi
,
János
ausdruck
satz
quantoren
fiir
ausdriicke
struktur
bzw
funktionen
beweis
individuenbereich
folgenden
erfiillt
logischen
pradikate
weiteren
funktion
negation
gilt
ausdrucks
quantor
vorkommen
iiber
satzes
variablen
verfahren
funktionsvariablen
menge
operationen
stufe
vorkommt
wert
individuen
kénnen
reduktionstypus
sowie
anzahl
disjunktion
ausdriicken
pradikat
werte
abschnitt
pradikatenvariablen
prafix
erfiillbar
ferner
stellenzahl
entscheidungsproblems
falls
gewisse
gleichwertigen
Рік:
1959
Мова:
german
Файл:
PDF, 11.07 MB
Ваші теги:
0
/
0
german, 1959
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×