Artículos relacionados a Lambda-Calculus and Computer Science Theory: Proceedings...
Lambda-Calculus and Computer Science Theory: Proceedings of the Symposium held in Rome, March 25-27, 1975. IAC - CNR Istituto per le Applicazioni del ... 37 (Lecture Notes in Computer Science, 37) - Tapa blanda
Sinopsis
-Calculus and Computer Science Theory
"Sinopsis" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Lambda-Calculus and Computer Science Theory: Proceedings...
Imagen del vendedor
Lambda-Calculus and Computer Science Theory: Proceedings of the Symposium held in Rome, March 25-27, 1975 Lecture Notes in Computer Science, 37
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania
Calificación del vendedor: 5 de 5 estrellas
Broschiert. Condición: Gut. 370 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 570. Nº de ref. del artículo: 2194662
Comprar usado
EUR 36,95
Envío por EUR 15,95
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
?-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25-27, 1975. IAC - CNR Istituto per le Applicazioni del ... (Lecture Notes in Computer Science, 37)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In English. Nº de ref. del artículo: ria9783540074168_new
Comprar nuevo
EUR 68,92
Envío por EUR 13,50
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
?-Calculus and Computer Science Theory
Librería: Books Puddle, Woodside, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 388. Nº de ref. del artículo: 26357869980
Comprar nuevo
EUR 90,85
Envío por EUR 3,59
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen del vendedor
¿-Calculus and Computer Science Theory
Publicado por
Springer Berlin Heidelberg, 1975
ISBN 10: 3540074163
ISBN 13: 9783540074168
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Combinators and classes.- Least fixed points revisited.- Infinite normal forms for the ?-calculus.- A survey of some useful partial order relations on terms of the lambda calculus.- ?-Terms as total or partial functions on normal forms.- Continuous semantic. Nº de ref. del artículo: 4879602
Comprar nuevo
EUR 48,37
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
?-Calculus and Computer Science Theory
Impresión bajo demandaLibrería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Print on Demand pp. 388 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam. Nº de ref. del artículo: 354620995
Comprar nuevo
EUR 90,49
Envío por EUR 7,77
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
?-calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 2527, 1975. Iac - Cnr Istituto Per Le Applicazioni Del Calcolo "mauro Picone" of the Consiglio Nazion
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. bilingual edition. 388 pages. French language. 9.60x6.69x0.88 inches. In Stock. Nº de ref. del artículo: x-3540074163
Comprar nuevo
EUR 83,90
Envío por EUR 14,95
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
?-Calculus and Computer Science Theory
Impresión bajo demandaLibrería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. PRINT ON DEMAND pp. 388. Nº de ref. del artículo: 18357869974
Comprar nuevo
EUR 90,08
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen del vendedor
¿-Calculus and Computer Science Theory : Proceedings of the Symposium Held in Rome March 25-27, 1975. IAC - CNR Istituto per le Applicazioni del Calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Combinators and classes.- Least fixed points revisited.- Infinite normal forms for the -calculus.- A survey of some useful partial order relations on terms of the lambda calculus.- -Terms as total or partial functions on normal forms.- Continuous semantics and inside-out reductions.- An algebraic interpretation of the K-calculus and a labelled -calculus.- Les modeles informatiques des -calculs.- On the description of time varying systems in -calculus.- Unification in typed lambda calculus.- A condition for identifying two elements of whatever model of combinatory logic.- Typed meaning in Scott's -calculus models.- Programming language semantics in a typed lambda-calculus.- Big trees in a -calculus with -expressions as types.- Normed uniformly reflexive structures.- A model with nondeterministic computation.- On subrecursiveness in weak combinatory logic.- Sequentially and parallelly computable functionals.- Computation on arbitrary algebras.- On solvability by I-terms.- Somephilosophical issues concerning theories of combinators.- Open problems. Nº de ref. del artículo: 9783540074168
Comprar nuevo
EUR 66,40
Envío por EUR 35,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
¿-Calculus and Computer Science Theory
Publicado por
Springer, Springer Nov 1975, 1975
ISBN 10: 3540074163
ISBN 13: 9783540074168
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Combinators and classes.- Least fixed points revisited.- Infinite normal forms for the -calculus.- A survey of some useful partial order relations on terms of the lambda calculus.- -Terms as total or partial functions on normal forms.- Continuous semantics and inside-out reductions.- An algebraic interpretation of the K-calculus and a labelled -calculus.- Les modeles informatiques des -calculs.- On the description of time varying systems in -calculus.- Unification in typed lambda calculus.- A condition for identifying two elements of whatever model of combinatory logic.- Typed meaning in Scott's -calculus models.- Programming language semantics in a typed lambda-calculus.- Big trees in a -calculus with -expressions as types.- Normed uniformly reflexive structures.- A model with nondeterministic computation.- On subrecursiveness in weak combinatory logic.- Sequentially and parallelly computable functionals.- Computation on arbitrary algebras.- On solvability by I-terms.- Somephilosophical issues concerning theories of combinators.- Open problems.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 388 pp. Englisch. Nº de ref. del artículo: 9783540074168
Comprar nuevo
EUR 53,49
Envío por EUR 60,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
¿-Calculus and Computer Science Theory | Proceedings of the Symposium Held in Rome March 25-27, 1975. IAC - CNR Istituto per le Applicazioni del Calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche
Impresión bajo demandaLibrería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. ¿-Calculus and Computer Science Theory | Proceedings of the Symposium Held in Rome March 25-27, 1975. IAC - CNR Istituto per le Applicazioni del Calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche | C. Böhm | Taschenbuch | xii | Englisch | Springer | EAN 9783540074168 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. Nº de ref. del artículo: 105088117
Comprar nuevo
EUR 50,25
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 5 disponibles