Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Zur Ergebnisliste
    Datensatz exportieren als...
  • BibTeX
Solving higher order equations : from logic to programming
Progress in theoretical computer science : 19 (Alle Bände)
1998
Signatur: TVG1601

Details

Autor(en) / Beteiligte
Titel
Solving higher order equations : from logic to programming
Ist Teil von
Ort / Verlag
Boston [u.a.] : Birkhäuser
Erscheinungsjahr
1998
Beschreibungen/Notizen
  • München, Techn. Univ., Diss., 1995
Sprache
Englisch
Identifikatoren
ISBN: 3764340320, 0817640320
OCLC-Nummer: 1072136541, 1072136541
Titel-ID: 990007887030106463
Format
VII, 186 S.
Systemstelle
TVG
Schlagworte
Prädikatenlogik, Stufe n, Deklarative Programmierung, Funktional-logische Programmiersprache, Gleichungstheorie, Automatisches Beweisverfahren, Lambda-Kalkül

Lade weitere Informationen...