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
Ergebnis 23 von 32
    Datensatz exportieren als...
  • BibTeX
Logic and computer science : held at Montecatini Terme, Italy, June 20 - 28, 1988
Lecture notes in mathematics : 1429 (Alle Bände), Lectures given at the ... session of the Centro Internazionale Matematico Estivo (CIME) : 1988,1 (Alle Bände)
1990
Signatur: TAY880740

Details

Autor(en) / Beteiligte
Titel
Logic and computer science : held at Montecatini Terme, Italy, June 20 - 28, 1988
Ist Teil von
Ort / Verlag
Berlin [u.a.] : Springer
Erscheinungsjahr
1990
Link zu anderen Inhalten
Sprache
Englisch
Identifikatoren
ISBN: 3540527346, 0387527346
OCLC-Nummer: 613511517, 613511517
Titel-ID: 990005359890106463
Format
162 S.
Systemstelle
TAY
Schlagworte
Logische Programmierung, Funktionale Programmiersprache, Komplexitätstheorie, Programmverifikation, Konstruktive Logik

Lade weitere Informationen...