Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings: 7734 (Theoretical Computer Science and General Issues) - Tapa blanda

9783642357213: Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings: 7734 (Theoretical Computer Science and General Issues)

Tapa blanda

ISBN 10: 3642357210 ISBN 13: 9783642357213

Editorial: Springer, 2012

Ver todas las copias de esta edici�n del ISBN

3 Usado

De EUR 102,42

12 Nuevo

De EUR 55,05

Rese�a del editor

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA in January 2013. The volume presents 29 revised refereed papers carefully selected by the program committee. The scope of the Symposium is broad and includes constructive mathematics and type theory; logic, automata and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logic; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple agent system logics; logics of proof and justification; nonmonotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; and other logics in computer science.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

EditorialSpringer
A�o de publicaci�n2012
ISBN 10 3642357210
ISBN 13 9783642357213
Encuadernaci�nTapa blanda
IdiomaIngl�s
N�mero de p�ginas428
EditorArtemov Sergei, Nerode Anil

Comprar usado

Condici�n: Como Nuevo

Like New

Ver este art�culo

EUR 102,42

Convertir moneda

EUR 29,48 gastos de env�o desde Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de env�o

A�adir al carrito

Comprar nuevo

Ver este art�culo

EUR 55,05

Convertir moneda

EUR 3,55 gastos de env�o en Estados Unidos de America

Destinos, gastos y plazos de env�o

A�adir al carrito

Otras ediciones populares con el mismo t�tulo

9783642357237: Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Edici�n Destacada

ISBN 10: 3642357237 ISBN 13: 9783642357237
Editorial: Springer, 2012
Tapa blanda

Resultados de la b�squeda para Logical Foundations of Computer Science: International...

Imagen de archivo

Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings (Theoretical Computer Science and General Issues)

Publicado por Springer, 2012

ISBN 10: 3642357210 ISBN 13: 9783642357213

Nuevo Tapa blanda

Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. N� de ref. del art�culo: ABLIING23Mar3113020225002

Contactar al vendedor

Comprar nuevo

EUR 55,05

Convertir moneda

Gastos de env�o: EUR 3,55

A Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Logical Foundations of Computer Science : International Symposium, Lfcs 2013, San Diego, Ca, USA, January 6-8, 2013. Proceedings

Artemov, Sergei (EDT); Nerode, Anil (EDT)

Publicado por Springer, 2012

ISBN 10: 3642357210 ISBN 13: 9783642357213

Nuevo Tapa blanda

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. N� de ref. del art�culo: 19182395-n

Contactar al vendedor

Comprar nuevo

EUR 56,28

Convertir moneda

Gastos de env�o: EUR 2,35

A Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen de archivo

Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings (Theoretical Computer Science and General Issues)

Publicado por Springer, 2012

ISBN 10: 3642357210 ISBN 13: 9783642357213

Nuevo Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. In. N� de ref. del art�culo: ria9783642357213_new

Contactar al vendedor

Comprar nuevo

EUR 61,72

Convertir moneda

Gastos de env�o: EUR 14,13

De Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Logical Foundations of Computer Science

Anil Nerode

Publicado por Springer Berlin Heidelberg Nov 2012, 2012

ISBN 10: 3642357210 ISBN 13: 9783642357213

Nuevo Taschenbuch

Impresi�n bajo demanda

Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA in January 2013. The volume presents 29 revised refereed papers carefully selected by the program committee. The scope of the Symposium is broad and includes constructive mathematics and type theory; logic, automata and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logic; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple agent system logics; logics of proof and justification; nonmonotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; and other logics in computer science. 428 pp. Englisch. N� de ref. del art�culo: 9783642357213

Contactar al vendedor

Comprar nuevo

EUR 53,49

Convertir moneda

Gastos de env�o: EUR 23,00

De Alemania a Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen del vendedor

Logical Foundations of Computer Science : International Symposium, Lfcs 2013, San Diego, Ca, USA, January 6-8, 2013. Proceedings

Artemov, Sergei (EDT); Nerode, Anil (EDT)

Publicado por Springer, 2012

ISBN 10: 3642357210 ISBN 13: 9783642357213

Nuevo Tapa blanda

Librería: GreatBookPricesUK, Woodford Green, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. N� de ref. del art�culo: 19182395-n

Contactar al vendedor

Comprar nuevo

EUR 61,71

Convertir moneda

Gastos de env�o: EUR 17,69

De Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen de archivo

Logical Foundations of Computer Science

Publicado por Springer, 2012

ISBN 10: 3642357210 ISBN 13: 9783642357213

Nuevo Tapa blanda

Librería: Books Puddle, New York, NY, Estados Unidos de America

Calificaci�n del vendedor: 4 de 5 estrellas

Condici�n: New. pp. 428. N� de ref. del art�culo: 2648021479

Contactar al vendedor

Comprar nuevo

EUR 79,90

Convertir moneda

Gastos de env�o: EUR 3,55

A Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: 4 disponibles

A�adir al carrito

Imagen del vendedor

Logical Foundations of Computer Science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Anil Nerode

Publicado por Springer Berlin Heidelberg, 2012

ISBN 10: 3642357210 ISBN 13: 9783642357213

Nuevo Taschenbuch

Librería: AHA-BUCH GmbH, Einbeck, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA in January 2013. The volume presents 29 revised refereed papers carefully selected by the program committee. The scope of the Symposium is broad and includes constructive mathematics and type theory; logic, automata and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logic; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple agent system logics; logics of proof and justification; nonmonotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; and other logics in computer science. N� de ref. del art�culo: 9783642357213

Contactar al vendedor