Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 

Ergebnis der Suche nach: idn=952799111



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/952799111
Titel Solving higher order equations : from logic to programming / Christian Prehofer
Person(en) Prehofer, Christian (Verfasser)
Verlag Boston ; Basel ; Berlin : Birkhäuser
Zeitliche Einordnung Erscheinungsdatum: 1998
Umfang/Format VII, 186 S. ; 24 cm
Hochschulschrift Zugl.: München, Techn. Univ., Diss., 1995
ISBN/Einband/Preis 978-3-7643-4032-2 (Basel ...) Kunststoff : sfr 118.00
3-7643-4032-0 (Basel ...) Kunststoff : sfr 118.00
978-0-8176-4032-3 (Boston) Kunststoff
0-8176-4032-0 (Boston) Kunststoff
Sprache(n) Englisch (eng)
Beziehungen Progress in theoretical computer science
Schlagwörter Prädikatenlogik ; Stufe n
Deklarative Programmierung
Funktional-logische Programmiersprache
Gleichungstheorie ; Automatisches Beweisverfahren
Lambda-Kalkül
Sachgruppe(n) 28 Informatik, Datenverarbeitung ; 27 Mathematik
Weiterführende Informationen Inhaltsverzeichnis

Frankfurt Signatur: 1998 A 360
Bereitstellung in Frankfurt
Leipzig Signatur: 1998 A 360
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration