> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Konferenzbericht Titel: Logic and computer science : held at Montecatini Terme, Italy, June 20 - 28, 1988 Beteiligte: Homer, Steven [Sonstige Person, Familie und Körperschaft]; Odifreddi, Piergiorgio [Herausgeber:in] Körperschaft: Centro Internazionale Matematico Estivo Erschienen: Berlin; Heidelberg [u.a.]: Springer, 1990 Erschienen in: Centro Internazionale Matematico Estivo: Lectures given at the ... session of the Centro Internazionale Matematico Estivo (CIME) ; 1988,1 Lecture notes in mathematics ; 1429 Umfang: 162 S; graph. Darst Sprache: Englisch ISBN: 3540527346; 0387527346 RVK-Notation: SI 850 : Lecture notes in mathematics Schlagwörter: Logische Programmierung Funktionale Programmiersprache Komplexitätstheorie Programmverifikation Konstruktive Logik Logische Programmierung Funktionale Programmiersprache Komplexitätstheorie Programmverifikation Konstruktive Logik Entstehung: Anmerkungen: Literaturangaben Weitere Bestandsnachweise 0 : Lecture notes in mathematics <Berlin>