търсене на книга
книги
Направете дарение
Впиши се
Впиши се
оторизираните потребители имат достъп до:
лични препоръки
Телеграм бот
хронология на изтеглянията
изпрати до Email или Kindle
управление на колекцията
запазване в любими
Лично
Заявки за книги
Изучаване
Z-Recommend
Списъци с книги
Най-популярни
Категории
Участие
Направете дарение
Качвания
Litera Library
Дарете хартиени книги
Добавяне на хартиени книги
Search paper books
Моят LITERA Point
Търсене на термини
Main
Търсене на термини
search
1
Deduktionssysteme: Automatisierung des logischen Denkens
R. Oldenbourg
K.H. Bläsius
,
H.-J. Bürckert
beispiel
formel
klausel
succ
formeln
menge
klauseln
gilt
variablen
gleichungen
logik
regeln
funktion
literale
falls
unifikation
verfahren
zahlen
d.h
stufe
läßt
typ
gleichung
kalkül
theorie
interpretation
wobei
bezüglich
natürlichen
beweis
funktionen
unifikator
heißt
algorithmus
daher
folgende
ggt
prädikatenlogik
unifikatoren
constraint
folgenden
gleichheit
eigenschaften
folgt
verschiedene
wahr
anwendung
resolvente
semantik
substitution
Година:
1992
Език:
german
Файл:
PDF, 8.88 MB
Вашите тагове:
0
/
4.0
german, 1992
2
Grundlagen des maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker
Vieweg+Teubner Verlag
Dieter Hofbauer
,
Ralf-Detlef Kutsche (auth.)
formeln
menge
gilt
beispiel
klauseln
regeln
beweis
satz
bzw
formel
klausel
lemma
falls
verfahren
variablen
existiert
ableitung
ordnung
matrix
substitutionen
d.h
heißt
mgu
formelmenge
tableau
abschnitt
widerlegung
prädikatenlogik
substitution
eats
literal
schnitt
herbrand
wobei
gleichungen
sowie
signatur
fak
konfluenz
folgenden
folgt
enthält
gleichung
fonnel
wert
erhalten
modell
struktur
paramodulation
termersetzungssystem
Година:
1991
Език:
german
Файл:
PDF, 5.33 MB
Вашите тагове:
0
/
0
german, 1991
3
Grundlagen des maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker
Vieweg+Teubner Verlag
Dieter Hofbauer
,
Ralf-Detlef Kutsche (auth.)
menge
formeln
gilt
beispiel
klauseln
regeln
aile
formel
beweis
nieht
satz
bzw
klausel
falls
lemma
verfahren
ableitung
existiert
matrix
ordnung
substitutionen
variablen
fiir
mgu
tableau
d.h
literal
1st
abschnitt
herbrand
widerlegung
eats
substitution
wobei
sowie
signatur
fak
aueh
formelmenge
konfluenz
flir
folgenden
folgt
modell
fiber
struktur
erhalten
erlaubt
geordneten
heist
Година:
1989
Език:
german
Файл:
PDF, 6.63 MB
Вашите тагове:
0
/
0
german, 1989
1
Следвайте
тази връзка
или потърсете бот „@BotFather“ в Telegram
2
Изпратете команда /newbot
3
Въведете име за вашия бот
4
Въведете потребителско име за бота
5
Копирайте последното съобщение от BotFather и го поставете тук
×
×