Fundraising September 15, 2024 – October 1, 2024
About fundraising
books search
books
Fundraising:
18.0% raised
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Personal
Book Requests
Explore
Z-Recommend
Booklists
Most Popular
Categories
Contribution
Donate
Uploads
Litera Library
Donate paper books
Add paper books
Search paper books
Open LITERA Point
Terms search
Main
Terms search
search
1
Grundlagen der funktionalen Programmierung
Vieweg+Teubner Verlag
Dr. rer. nat. Peter Thiemann (auth.)
funktion
funktionen
typ
falls
gilt
definiert
wert
map
ausdruck
auswertung
semantik
menge
folgenden
gofer
beispiel
typen
programming
abs
fiir
strikte
mub
bool
d.h
variablen
aile
eval
zahlen
argument
ergibt
berechnung
float
folgende
bzw
foldr
folgt
programm
ausdriicke
element
ergebnis
abbildung
ordnung
wobei
exptrans
parser
syntax
haskell
argumente
interpretation
satz
urn
Year:
1994
Language:
german
File:
PDF, 9.86 MB
Your tags:
0
/
0
german, 1994
2
Grundlagen der funktionalen Programmierung
Vieweg+Teubner Verlag
Dr. rer. nat. Peter Thiemann (auth.)
funktion
funktionen
typ
falls
gilt
definiert
wert
ausdruck
map
semantik
auswertung
menge
folgenden
beispiel
typen
gofer
programming
bool
strikte
abs
liefert
variablen
d.h
ausdrücke
argument
eval
ergibt
float
zahlen
berechnung
folgende
folgt
bzw
programm
heißt
abbildung
element
ergebnis
wobei
ordnung
exp
kalkül
parser
syntax
argumente
exptrans
interpretation
false
satz
ausdrucks
Year:
1994
Language:
german
File:
DJVU, 2.56 MB
Your tags:
0
/
0
german, 1994
3
Integration funktionaler und logischer Programmiersprachen
Oldenbourg
Loogen R.
variablen
babel
semantik
narrowing
auswertung
logik
regeln
beispiel
falls
unifikation
ausdrücke
append
abbildung
menge
implementierung
gilt
funktional
funktion
herbrand
funktionen
programme
berechnungen
programming
ausdruck
funktionaler
funktionalen
logische
argumente
wobei
programm
wahlpunkt
typ
definiert
folgenden
logischer
programmen
backtracking
umgebung
erweiterung
false
berechnung
programmiersprachen
mittels
strategie
eise
argument
erzeugt
lazy
narrowingmaschine
bezüglich
Year:
1995
Language:
german
File:
DJVU, 2.29 MB
Your tags:
0
/
0
german, 1995
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×