Logic from Computer Science: Proceedings of a Workshop Held November 13-17, 1989 - Couverture rigide

 
9783540976677: Logic from Computer Science: Proceedings of a Workshop Held November 13-17, 1989
Couverture rigide
ISBN 10 : 3540976671 ISBN 13 : 9783540976677
Editeur : Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1992

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

This text represents the proceedings of a workshop held in 1989 and covers such areas as computability and the complexity of higher type functions, logics for termination and correctness of functional programs and concurrent computation as game playing.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Date d'édition
1992
Langue
anglais
ISBN 10 
3540976671
ISBN 13 
9783540976677
Reliure
Relié
Nombre de pages
619
Éditeur
Moschovakis Yiannis N.
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9781461276852: Logic from Computer Science: Proceedings of a Workshop held November 13–17, 1989

Edition présentée

ISBN 10 :  1461276853 ISBN 13 :  9781461276852
Editeur : Springer, 2011
Couverture souple