Artículos relacionados a Computer Science Logic: 5th Workshop, CSL '91,...
Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings: 626 (Lecture Notes in Computer Science) - Tapa blanda
Reseña del editor:
This volume presents the proceedings of the workshop CSL '91 (Computer Science Logic) held at the University of Berne, Switzerland, October 7-11, 1991. This was the fifth in a series of annual workshops on computer sciencelogic (the first four are recorded in LNCS volumes 329, 385, 440, and 533). The volume contains 33 invited and selected papers on a variety of logical topics in computer science, including abstract datatypes, bounded theories, complexity results, cut elimination, denotational semantics, infinitary queries, Kleene algebra with recursion, minimal proofs, normal forms in infinite-valued logic, ordinal processes, persistent Petri nets, plausibility logic, program synthesis systems, quantifier hierarchies, semantics of modularization, stable logic, term rewriting systems, termination of logic programs, transitive closure logic, variants of resolution, and many others.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer
- Año de publicación1992
- ISBN 10 354055789X
- ISBN 13 9783540557890
- EncuadernaciónTapa blanda
- Número de páginas444
- EditorBörger Egon, Jäger Gerhard, Kleine Büning Hans
Comprar nuevo
Ver este artículo
EUR 58,25
Gastos de envío:
GRATIS
A Estados Unidos de America
Los mejores resultados en AbeBooks
Imagen del vendedor
Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings (Lecture Notes in Computer Science (626)) [Soft Cover ]
Publicado por
Springer
(1992)
ISBN 10: 354055789X
ISBN 13: 9783540557890
Nuevo
Soft Cover
Cantidad disponible: 10
Librería:
Valoración
Descripción Soft Cover. Condición: new. Nº de ref. del artículo: 9783540557890
Comprar nuevo
EUR 58,25
Convertir moneda
Imagen de archivo
Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings (Lecture Notes in Computer Science, 626)
Publicado por
Springer
(1992)
ISBN 10: 354055789X
ISBN 13: 9783540557890
Nuevo
Tapa blanda
Cantidad disponible: > 20
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020170545
Comprar nuevo
EUR 57,50
Convertir moneda
Imagen de archivo
Computer Science Logic : 5th Workshop; CSL '91; Berne; Switzerland; October 7-11; 1991. Proceedings
Publicado por
Springer
(1992)
ISBN 10: 354055789X
ISBN 13: 9783540557890
Nuevo
Tapa blanda
Cantidad disponible: > 20
Librería:
Valoración
Descripción Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Nº de ref. del artículo: ria9783540557890_lsuk
Comprar nuevo
EUR 60,34
Convertir moneda
Gastos de envío:
EUR 11,65
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen del vendedor
Computer Science Logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings
Publicado por
Springer Berlin Heidelberg
(1992)
ISBN 10: 354055789X
ISBN 13: 9783540557890
Nuevo
Taschenbuch
Cantidad disponible: 1
Librería:
Valoración
Descripción Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume presents the proceedings of the workshop CSL '91(Computer Science Logic) held at the University of Berne,Switzerland, October 7-11, 1991. This was the fifth in aseries of annual workshops on computer sciencelogic (thefirst four are recorded in LNCS volumes 329, 385, 440, and533).The volume contains 33 invited and selected papers on avariety of logical topics in computer science, includingabstract datatypes, bounded theories, complexity results,cut elimination, denotational semantics, infinitary queries,Kleene algebra with recursion, minimal proofs, normal formsin infinite-valued logic, ordinal processes, persistentPetri nets, plausibility logic, program synthesis systems,quantifier hierarchies, semantics of modularization, stablelogic, term rewriting systems, termination of logicprograms, transitive closure logic, variants of resolution,and many others. Nº de ref. del artículo: 9783540557890
Comprar nuevo
EUR 59,51
Convertir moneda
Gastos de envío:
EUR 32,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen del vendedor
Computer Science Logic
Publicado por
Springer Berlin Heidelberg
(1992)
ISBN 10: 354055789X
ISBN 13: 9783540557890
Nuevo
Tapa blanda
Cantidad disponible: > 20
Librería:
Valoración
Descripción Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume presents the proceedings of the workshop CSL 91(Computer Science Logic) held at the University of Berne,Switzerland, October 7-11, 1991. This was the fifth in aseries of annual workshops on computer sciencelogic (thefirst four are recorde. Nº de ref. del artículo: 4893730
Comprar nuevo
EUR 48,37
Convertir moneda
Gastos de envío:
EUR 48,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo
Computer Science Logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings
Publicado por
Springer 1992-09
(1992)
ISBN 10: 354055789X
ISBN 13: 9783540557890
Nuevo
PF
Cantidad disponible: 10
Librería:
Valoración
Descripción PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783540557890
Comprar nuevo
EUR 96,29
Convertir moneda
Gastos de envío:
EUR 17,49
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen del vendedor
Computer Science Logic
Publicado por
Springer Berlin Heidelberg Sep 1992
(1992)
ISBN 10: 354055789X
ISBN 13: 9783540557890
Nuevo
Taschenbuch
Cantidad disponible: 2
Librería:
Valoración
Descripción Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents the proceedings of the workshop CSL '91(Computer Science Logic) held at the University of Berne, Switzerland, October 7-11, 1991. This was the fifth in a series of annual workshops on computer sciencelogic (the first four are recorded in LNCS volumes 329, 385, 440, and 533). The volume contains 33 invited and selected papers on a variety of logical topics in computer science, including abstract datatypes, bounded theories, complexity results, cut elimination, denotational semantics, infinitary queries, Kleene algebra with recursion, minimal proofs, normal forms in infinite-valued logic, ordinal processes, persistent Petri nets, plausibility logic, program synthesis systems, quantifier hierarchies, semantics of modularization, stable logic, term rewriting systems, termination of logic programs, transitive closure logic, variants of resolution, and many others. 440 pp. Englisch. Nº de ref. del artículo: 9783540557890
Comprar nuevo
EUR 93,08
Convertir moneda
Gastos de envío:
EUR 23,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío