Logic Colloquium '96: "Proceedings Of The Colloquium Held In San Sebastián, Spain, July 9 15, 1996" - Couverture souple

Livre 17 sur 39: Lecture Notes in Logic

Larrazabal, Jesus M.

 
9783540646686: Logic Colloquium '96: "Proceedings Of The Colloquium Held In San Sebastián, Spain, July 9 15, 1996"
Couverture souple
ISBN 10 : 354064668X ISBN 13 : 9783540646686
Editeur : Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2013

Synopsis

This volume contains eleven contributions by invited speakers at the annual Logic Colloquium which was held in San Sebastian, Spain, in July 1996. They cover model theory, proof theory, recursion and complexity theory, logic for artificial intelligence and formal semantics of natural languages, and include both recent results and survey articles on the central topics in logic written by specialists for a wide audience.

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
2013
Langue
anglais
ISBN 10 
354064668X
ISBN 13 
9783540646686
Reliure
Broché
Nombre de pages
272
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9781107166080: Logic Colloquium '96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996

Edition présentée

ISBN 10 :  110716608X ISBN 13 :  9781107166080
Editeur : Cambridge University Press, 2017
Couverture rigide