Treffer
1 - 4
von
4
für Suche '
Lalement, René
'
Weiter zum Inhalt
VuFind
Zwischenablage:
0
in der Auswahl
(Voll)
Anmeldung über Ihre Einrichtung
Bootstrap
Reg_test
TUM
GatewayBayern
Rvk
reg_uni
Standard Theme
Mobile Theme
thws
Layout
Englisch
Deutsch
Sprache
OPAC
OPACplus
Alle Felder
Person
Schlagwort
Titel
Suchen
Erweitert
Verfasser
Lalement, René
Treffer
1 - 4
von
4
für Suche '
Lalement, René
'
, Suchdauer: 0,19s
Treffer weiter einschränken
Sortieren
Relevanz
Nach Datum, absteigend
Nach Datum, aufsteigend
Signatur
Verfasser
Titel
1
Logique, réduction, résolution
von
Lalement, René
Veröffentlicht 1990
Signatur:
Wird geladen …
Standort:
Wird geladen …
Buch
Wird geladen …
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
2
Computation as logic
von
Lalement, René
Veröffentlicht 1990
Signatur:
Wird geladen …
Standort:
Wird geladen …
Buch
Wird geladen …
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
3
Computation as logic
von
Lalement, René
Veröffentlicht 2003
Signatur:
Wird geladen …
Standort:
Wird geladen …
Buch
Wird geladen …
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
4
Computation as logic
von
Lalement, René
Veröffentlicht 1993
Signatur:
Wird geladen …
Standort:
Wird geladen …
Buch
Wird geladen …
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge:
RSS-Feed abonnieren
Diese Suche als E-Mail versenden
Suche speichern
Ähnliche Schlagworte
Informatik
Logik
Mathematische Logik
Programmierung
Functional programming (Computer science)
Logic programming
Logic, Symbolic and mathematical
Logique
Logique symbolique et mathématique
Programmation dynamique
Traitement automatique des données
lambda calcul
logique
logique 1er ordre
logique mathématique
logique équationnelle
modèle
programmation en logique
programmation fonctionnelle
réduction
résolution problème
réécriture