పుస్తకాల శోధన
పుస్తకాలు
మాకు మద్దతు ఇవ్వాలనుకుంటే
సైన్ ఇన్ చేయండి
సైన్ ఇన్ చేయండి
మరిన్ని ఫీచర్లను యాక్సెస్ చేయడానికి
వ్యక్తిగత సిఫార్సులు
Telegram బాట్
డౌన్లోడ్ చరిత్ర
ఇమెయిల్ లేదా Kindle కు పంపండి
పుస్తకాల జాబితాలను నిర్వహించండి
ఇష్టమైన వాటికి సేవ్ చేయండి
వ్యక్తిగతమైన
పుస్తక అభ్యర్థనలు
అన్వేషించండి
Z-సిఫార్సు చేయండి
పుస్తక సేకరణలు
అత్యంత ప్రజాదరణమైనవి
వర్గాలు
సహకారం
మాకు మద్దతు ఇవ్వాలనుకుంటే
అప్లోడ్లు
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" బాట్ను కనుగొనండి
2
/ newbot ఆదేశాన్ని పంపండి
3
మీ చాట్బాట్ కోసం పేరును పేర్కొనండి
4
బాట్ కోసం వినియోగదారు పేరును ఎంచుకోండి
5
BotFather నుండి పూర్తి చివరి సందేశాన్ని కాపీ చేసి ఇక్కడ అతికించండి
×
×