Artículos relacionados a Logic from Computer Science: Workshop : Papers (Mathematical...
Logic from Computer Science: Workshop : Papers (Mathematical Sciences Research Institute Publications) - Tapa dura
Sinopsis
Book by None
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
The volume is the outgrowth of a workshop with the same title held at MSRI in the week of November 13-17, 1989, and for those who did not get it, Logic from Computer Science is the converse of Logic in Computer Science, the full name of the highly successful annual LICS conferences. We meant to have a conference which would bring together the LICS commu nity with some of the more traditional "mathematical logicians" and where the emphasis would be on the flow of ideas from computer science to logic rather than the other way around. In a LICS talk, sometimes, the speaker presents a perfectly good theorem about (say) the A-calculus or finite model theory in terms of its potential applications rather than its (often more ob vious) intrinsic, foundational interest and intricate proof. This is not meant to be a criticism; the LICS meetings are, after all, organized by the IEEE Computer Society. We thought, for once, it would be fun to see what we would get if we asked the speakers to emphasize the relevance of their work for logic rather than computer science and to point out what is involved in the proofs. I think, mostly, it worked. In any case, the group of people represented as broad a selection of logicians as I have seen in recent years, and the quality of the talks was (in my view) exceptionally, unusually high. I learned a lot and (I think) others did too.
Reseña del editor
Topics of this proceedings volume will include Computability and Complexity of Higher Type Functions by Stephen Cook, Logics for Termination and Correctness of Functional Programs by Solomon Feferman, Reals and Forcing with Elementary Topos by the well known mathematician, Saunders MacLane and Ieke Moerdijk, and Concurrent Computation as Game Playing by Anil Nerode.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 37,93
EUR 3,38 gastos de envío en Estados Unidos de America
Destinos, gastos y plazos de envíoOtras ediciones populares con el mismo título
Resultados de la búsqueda para Logic from Computer Science: Workshop : Papers (Mathematical...
Imagen de archivo
Logic from Computer Science: Proceedings of a Workshop Held Nov 13-17, 1989
Publicado por
Springer-Verlag, 1992
ISBN 10: 0387976671
ISBN 13: 9780387976679
Antiguo o usado
Tapa dura
Librería: George Cross Books, Lexington, MA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. First ition edition. Good/No Jacket (27289) No Jacket--believed as Issued. Hardcover, bood condition, w. ltly rubbed brds, lt marks. Ltly sunned, smwht slanted sp, smwht compressed. Smwht bumped corners. Sme lt soil, stains on p. edges, esp top. O/w clean, tight, unmarked. 608. Nº de ref. del artículo: 27289
Cantidad disponible: 1 disponibles
Imagen de archivo
logic-from-computer-science-proceedings-of-a-workshop-held-nov-13-17--1989
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
Softcover. Condición: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Couverture différente. Edition 1992. Editeur différent. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Different cover. Edition 1992. Different publisher. Ammareal gives back up to 15% of this item's net price to charity organizations. Nº de ref. del artículo: E-551-474
Gastos de envío:
EUR 22,50
De Francia a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic from Computer Science
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. xi + 608. Nº de ref. del artículo: 263129131
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic from Computer Science
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. xi + 608 10 Figures. Nº de ref. del artículo: 5767412
Gastos de envío:
EUR 7,44
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic from Computer Science
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. xi + 608. Nº de ref. del artículo: 183129121
Gastos de envío:
EUR 9,95
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic from Computer Science - Proceedings of a Workshop Held November 13-17, 1989
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEJUNE24-90045
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic from Computer Science - Proceedings of a Workshop Held November 13-17, 1989
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Nº de ref. del artículo: ABNR-87812
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic from computer science : proceedings of a workshop held November 13-17, 1989.
Librería: Kloof Booksellers & Scientia Verlag, Amsterdam, Holanda
Calificación del vendedor: 4 de 5 estrellas
Condición: very good. New York etc. : Springer-Verlag, cop. 1992. Hardcover. xi,608 pp. (Mathematical Sciences Research Institute publications ; 27). Condition : very good copy. ISBN 9780387976679. Keywords : , Nº de ref. del artículo: 215825
Gastos de envío:
EUR 60,00
De Holanda a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic from Computer Science: Proceedings of a Workshop held November 13-17, 1989 (Mathematical Sciences Research Institute Publications)
Librería: ALLBOOKS1, Direk, SA, Australia
Calificación del vendedor: 5 de 5 estrellas
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Nº de ref. del artículo: SHUB90045
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic from Computer Science: Proceedings of a Workshop Held Nov 13-17, 1989 (Mathematical Sciences Research Institute Publications)
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Hardcover. Condición: Like New. Like New. book. Nº de ref. del artículo: ERICA70403879766715
Gastos de envío:
EUR 28,63
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles