Items related to λ-Calculus and Computer Science Theory: Proceedings...
λ-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) - Softcover
Search results for λ-Calculus and Computer Science Theory: Proceedings...
Seller Image
Lambda-Calculus and Computer Science Theory: Proceedings of the Symposium held in Rome, March 25-27, 1975 Lecture Notes in Computer Science, 37
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
Broschiert. Condition: 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. Seller Inventory # 2194662
Quantity: 1 available
Stock Image
?-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)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020157677
Quantity: Over 20 available
Seller Image
?-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 Nazionale delle Ricerche. Lecture notes in computer science ; 37.
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Seller rating 5 out of 5 stars
371 pages Ex-Library book in good condition. Pages yellowed. 9783540074168 Sprache: Englisch Gewicht in Gramm: 776. Seller Inventory # 1166302
Quantity: 1 available
Stock Image
?-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)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783540074168
Quantity: Over 20 available
Stock Image
?-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)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540074168_new
Quantity: Over 20 available
Seller Image
¿-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
Published by
Springer Berlin Heidelberg, 1975
ISBN 10: 3540074163
ISBN 13: 9783540074168
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering. Seller Inventory # 9783540074168
Quantity: 1 available
Stock Image
?-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
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. bilingual edition. 388 pages. French language. 9.60x6.69x0.88 inches. In Stock. Seller Inventory # x-3540074163
Quantity: 2 available
Seller Image
¿-Calculus and Computer Science Theory
Published by
Springer Berlin Heidelberg, 1975
ISBN 10: 3540074163
ISBN 13: 9783540074168
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # 4879602
Quantity: Over 20 available
Seller Image
¿-Calculus and Computer Science Theory
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Nov 1975, 1975
ISBN 10: 3540074163
ISBN 13: 9783540074168
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Englisch. Seller Inventory # 9783540074168
Quantity: 1 available
Stock Image
-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 2527, 1975. IAC - CNR Istituto per le Applicazioni del . Science, 37) (English and French Edition)
Seller: dsmbooks, Liverpool, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Very Good Dust Jacket may be missing.CDs may be missing. book. Seller Inventory # D8P0-0-M-3540074163-6
Quantity: 1 available