Set theory for computing from decision procedures to declarative programming with sets

Literaturverz. S. [374] - 391

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Cantone, Domenico (VerfasserIn)
Weitere Verfasser:	Omodeo, Eugenio (VerfasserIn), Policriti, Alberto (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	New York, NY, Berlin, Heidelberg u.a. Springer 2001
Schriftenreihe:	Monographs in computer science
Schlagworte:	Set theory > Computable functions > Deklarative Programmierung > Mengenlehre > Berechenbare Funktion
Online Zugang:	Inhaltsverzeichnis Verlagsangaben Cover Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!