ISBN: 9780817638016
Combinatory logic started as a programme in the foundation of mathematics and in an historical context at a time when such endeavours attracted the most gifted among the mathematicians. T… Mehr…
Springer.com Nr. 978-0-8176-3801-6. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
1994, ISBN: 9780817638016
Assistant: Aberer, K. Assistant: Amrhein, B. Assistant: Gloor, O. Assistant: Mohrenschildt, M. v. Assistant: Otth, D. Assistant: Schwärzler, G. Assistant: Weibel, T. Birkhäuser, Hardcover… Mehr…
amazon.co.uk Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.61) Details... |
1994, ISBN: 9780817638016
Assistent: Aberer, K. Assistent: Amrhein, B. Assistent: Gloor, O. Assistent: Mohrenschildt, M. v. Assistent: Otth, D. Assistent: Schwärzler, G. Assistent: Weibel, T. Birkhäuser, Gebundene… Mehr…
amazon.de |
ISBN: 9780817638016
Birkhäuser, 1994-11-01. Hardcover. New. New. In shrink wrap. Looks like an interesting title!, Birkhäuser, 1994-11-01, 6
Biblio.co.uk |
1994, ISBN: 9780817638016
Birkhäuser Boston, 1994-11-01. Hardcover. Used: Good. Excellent customer service. Prompt Customer Service., Birkhäuser Boston, 1994-11-01, 2.5
Biblio.co.uk |
ISBN: 9780817638016
Combinatory logic started as a programme in the foundation of mathematics and in an historical context at a time when such endeavours attracted the most gifted among the mathematicians. T… Mehr…
Engeler, Erwin:
The Combinatory Programme (Progress in Theoretical Computer Science) - gebunden oder broschiert1994, ISBN: 9780817638016
Assistant: Aberer, K. Assistant: Amrhein, B. Assistant: Gloor, O. Assistant: Mohrenschildt, M. v. Assistant: Otth, D. Assistant: Schwärzler, G. Assistant: Weibel, T. Birkhäuser, Hardcover… Mehr…
1994
ISBN: 9780817638016
Assistent: Aberer, K. Assistent: Amrhein, B. Assistent: Gloor, O. Assistent: Mohrenschildt, M. v. Assistent: Otth, D. Assistent: Schwärzler, G. Assistent: Weibel, T. Birkhäuser, Gebundene… Mehr…
ISBN: 9780817638016
Birkhäuser, 1994-11-01. Hardcover. New. New. In shrink wrap. Looks like an interesting title!, Birkhäuser, 1994-11-01, 6
1994, ISBN: 9780817638016
Birkhäuser Boston, 1994-11-01. Hardcover. Used: Good. Excellent customer service. Prompt Customer Service., Birkhäuser Boston, 1994-11-01, 2.5
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - The Combinatory Programme (Progress in Theoretical Computer Science)
EAN (ISBN-13): 9780817638016
ISBN (ISBN-10): 0817638016
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1994
Herausgeber: Birkhäuser
156 Seiten
Gewicht: 0,403 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-06-07T06:24:05+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-02-17T12:56:25+01:00 (Berlin)
ISBN/EAN: 9780817638016
ISBN - alternative Schreibweisen:
0-8176-3801-6, 978-0-8176-3801-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: schwärzler, könig erwin, amrhein, gloor, erwin engeler, weibel, schwã rzler, engel, mohrenschildt
Titel des Buches: bückers, bücker, bück, programme, theoretical computer science, mohrenschildt, progress programm
Daten vom Verlag:
Autor/in: Erwin Engeler
Titel: Progress in Theoretical Computer Science; The Combinatory Programme
Verlag: Birkhäuser; Birkhäuser Boston
144 Seiten
Erscheinungsjahr: 1994-11-01
Boston; MA; US
Sprache: Englisch
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
VIII, 144 p.
BB; Hardcover, Softcover / Mathematik/Sonstiges; Theoretische Informatik; Verstehen; Mathematica; algebra; algorithm; algorithmics; algorithms; computer; computer science; logic; time; combinatorics; Mathematical Applications in Computer Science; Discrete Mathematics; Programming Techniques; Compilers and Interpreters; Computational Mathematics and Numerical Analysis; Diskrete Mathematik; Computerprogrammierung und Softwareentwicklung; Compiler und Übersetzer; Numerische Mathematik; EA; BC
I. Historical and Philosophical Background.- 1. From Protologics to Combinatory Algebras.- 2. A Brief Recapitulation of Combinatory Algebra.- 3. An Algebraization of Universal Algebra.- 4. Objects Reflected in Their Properties.- II. An Algebraization of Universal Algebra.- Axiomatic Extensions.- Aspects of Universal Algebra in Combinatory Logic.- Remarks on an Algebraic Theory of Recursive Degrees.- III. An Algebraization of Algorithmics.- An Algebraization of Hierarchical and Recursive Distributed Processes.- Algebra of Approximate Computation.- IV. Relations to Logical Computer-Algebraic Calculi.- Solving Discontinuous Differential Equations.- Types and Consistency.- References.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9781461242680 Combinatory Programme (Erwin Engeler)
< zum Archiv...