Artículos relacionados a Handbook of Philosophical Logic: Volume 8

Handbook of Philosophical Logic: Volume 8 - Tapa blanda

 
9789401039192: Handbook of Philosophical Logic: Volume 8

Críticas

"The best starting point for exploring any of the topics in logic"
                                                                 Encyclopaedia Britannica

Reseña del editor

suchquestionsforcenturies(unrestrictedbythecapabilitiesofanyhard­ ware). Theprinciplesgoverningtheinteractionofseveralprocesses,forexample, areabstractansimilartoprinciplesgoverningthecooperationoftwolarge organisation.Adetailedrulebasedeffectivebutrigidbureaucracyisvery muchsimilartoacomplexcomputerprogramhandlingandmanipulating data. Myguessisthattheprinciplesunderlyingoneareverymuchthe sameasthoseunderlyingtheother. Ibelievethedayisnotfarawayinthefuturewhenthecomputerscientist willwakeuponemorningwiththerealisationthatheisactuallyakindof formalphilosopher! TheprojectednumberofvolumesforthisHandbookisabout18.The subjecthasevolvedanditsareashavebecomeinterrelatedtosuchanextent thatitnolongermakessensetodedicatevolumestotopics.However,the volumesdofollowsomenaturalgroupingsofchapters. Iwouldliketothankourauthorsarereadersfortheircontributionsand theircommitmentinmakingthisHandbookasuccess. Thanksalsoto ourpublicationadministratorMrsJ.Spurrforherusualdedicationand excellenceandtoKluwerAcademicPublishersfortheircontinuingsupport fortheHandbook. DovGabbay King'sCollegeLondon x Logic II IT Natural Program Artificialin­ Logic p- language controlspec­ telligence gramming processing ification, verification, concurrency Temporal Expressive Expressive Planning. Extension of logic poweroftense power for re­ Time depen­ Horn clause operators. currentevents. dent data. with time Temporal Specification Eventcalculus. capability. indices. Sepa­ of tempo- Persistence Eventcalculus. rationofpast ral control. throughtime­ Temporallogic fromfuture Decisionprob­ the Frame programming. Problem.Tem­ lems. Model checking. poral query language. temporal transactions. Modal logic. generalised Actionlogic Beliefrevision. Negation by Multi-modal quantifiers Inferential failure and logics databases modality Algorithmic Discourse rep­ New logics. Generaltheory Proceduralap­ proof resentation. Generic theo­ of reasoning. proachtologic Direct com- remprovers Non-monotonic putation on systems linguisticinput Non­ Resolving Loopchecking. Intrinsiclogical Negation by monotonic ambigui- Non-monotonic discipline for failure.Deduc­ reasoning ties. Machine decisionsabout AI. Evolving tivedatabases translation. loops. Faults and com­ Document insystems. municating classification. databases Relevance theory Probabilistic logicalanalysis Realtimesys­ Expert sys­ Semantics for and fuzzy oflanguage tems tems.Machine logicprograms logic learning Intuitionistic Quantifiers in Constructive Intuitionistic Horn clause logic logic reasoning and logicisabetter logic is really proof theory logical basis intuitionistic.

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

Comprar usado

Condición: Como Nuevo
Unread book in perfect condition... Ver este artículo

Gastos de envío: EUR 2,36
A Estados Unidos de America

Destinos, gastos y plazos de envío

Añadir al carrito

Comprar nuevo

Ver este artículo

Gastos de envío: GRATIS
A Estados Unidos de America

Destinos, gastos y plazos de envío

Añadir al carrito

Otras ediciones populares con el mismo título

9781402006654: Handbook of Philosophical Logic: Volume 8

Edición Destacada

ISBN 10:  1402006659 ISBN 13:  9781402006654
Editorial: Springer, 2002
Tapa dura

Los mejores resultados en AbeBooks

Imagen del vendedor

Publicado por Springer, 2012
ISBN 10: 9401039194 ISBN 13: 9789401039192
Nuevo Soft Cover

Librería: booksXpress, Bayonne, NJ, Estados Unidos de America

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Soft Cover. Condición: new. Nº de ref. del artículo: 9789401039192

Contactar al vendedor

Comprar nuevo

EUR 156,13
Convertir moneda
Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 10 disponibles

Añadir al carrito

Imagen del vendedor

Gabbay, D. M. (EDT); Guenthner, F. (EDT)
Publicado por Springer, 2012
ISBN 10: 9401039194 ISBN 13: 9789401039192
Nuevo Tapa blanda

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

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: 20193806-n

Contactar al vendedor

Comprar nuevo

EUR 154,29
Convertir moneda
Gastos de envío: EUR 2,36
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 5 disponibles

Añadir al carrito

Imagen de archivo

Publicado por Springer, 2012
ISBN 10: 9401039194 ISBN 13: 9789401039192
Nuevo Tapa blanda

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

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: ABLIING23Apr0412070054152

Contactar al vendedor

Comprar nuevo

EUR 164,30
Convertir moneda
Gastos de envío: EUR 3,57
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

Dov M. Gabbay
Publicado por Springer, 2012
ISBN 10: 9401039194 ISBN 13: 9789401039192
Nuevo Tapa blanda
Impresión bajo demanda

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

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Nº de ref. del artículo: ria9789401039192_lsuk

Contactar al vendedor

Comprar nuevo

EUR 165,55
Convertir moneda
Gastos de envío: EUR 11,97
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

Franz Guenthner
Publicado por Springer Netherlands Okt 2012, 2012
ISBN 10: 9401039194 ISBN 13: 9789401039192
Nuevo Taschenbuch
Impresión bajo demanda

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

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -suchquestionsforcenturies(unrestrictedbythecapabilitiesofanyhard ware). Theprinciplesgoverningtheinteractionofseveralprocesses,forexample, areabstractansimilartoprinciplesgoverningthecooperationoftwolarge organisation.Adetailedrulebasedeffectivebutrigidbureaucracyisvery muchsimilartoacomplexcomputerprogramhandlingandmanipulating data. Myguessisthattheprinciplesunderlyingoneareverymuchthe sameasthoseunderlyingtheother. Ibelievethedayisnotfarawayinthefuturewhenthecomputerscientist willwakeuponemorningwiththerealisationthatheisactuallyakindof formalphilosopher! TheprojectednumberofvolumesforthisHandbookisabout18.The subjecthasevolvedanditsareashavebecomeinterrelatedtosuchanextent thatitnolongermakessensetodedicatevolumestotopics.However,the volumesdofollowsomenaturalgroupingsofchapters. Iwouldliketothankourauthorsarereadersfortheircontributionsand theircommitmentinmakingthisHandbookasuccess. Thanksalsoto ourpublicationadministratorMrsJ.Spurrforherusualdedicationand excellenceandtoKluwerAcademicPublishersfortheircontinuingsupport fortheHandbook. DovGabbay King'sCollegeLondon x Logic II IT Natural Program Artificialin Logic p- language controlspec telligence gramming processing ification, verification, concurrency Temporal Expressive Expressive Planning. Extension of logic poweroftense power for re Time depen Horn clause operators. currentevents. dent data. with time Temporal Specification Eventcalculus. capability. indices. Sepa of tempo- Persistence Eventcalculus. rationofpast ral control. throughtime Temporallogic fromfuture Decisionprob the Frame programming. Problem.Tem lems. Model checking. poral query language. temporal transactions. Modal logic. generalised Actionlogic Beliefrevision. Negation by Multi-modal quantifiers Inferential failure and logics databases modality Algorithmic Discourse rep New logics. Generaltheory Proceduralap proof resentation. Generic theo of reasoning. proachtologic Direct com- remprovers Non-monotonic putation on systems linguisticinput Non Resolving Loopchecking. Intrinsiclogical Negation by monotonic ambigui- Non-monotonic discipline for failure.Deduc reasoning ties. Machine decisionsabout AI. Evolving tivedatabases translation. loops. Faults and com Document insystems. municating classification. databases Relevance theory Probabilistic logicalanalysis Realtimesys Expert sys Semantics for and fuzzy oflanguage tems tems.Machine logicprograms logic learning Intuitionistic Quantifiers in Constructive Intuitionistic Horn clause logic logic reasoning and logicisabetter logic is really proof theory logical basis intuitionistic. 372 pp. Englisch. Nº de ref. del artículo: 9789401039192

Contactar al vendedor

Comprar nuevo

EUR 160,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

Gabbay, D. M. (EDT); Guenthner, F. (EDT)
Publicado por Springer, 2012
ISBN 10: 9401039194 ISBN 13: 9789401039192
Nuevo Tapa blanda

Librería: GreatBookPricesUK, Castle Donington, DERBY, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: 20193806-n

Contactar al vendedor

Comprar nuevo

EUR 165,54
Convertir moneda
Gastos de envío: EUR 18,00
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 5 disponibles

Añadir al carrito

Imagen del vendedor

Gabbay, Dov M.|Guenthner, Franz
Publicado por Springer Netherlands, 2012
ISBN 10: 9401039194 ISBN 13: 9789401039192
Nuevo Tapa blanda
Impresión bajo demanda

Librería: moluna, Greven, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Contains major contributions on the Logic of Questions, Sequent Systems for Modal Logics, Deontic Logic as well as Deontic Logic and Contrary-to-duties Editorial Preface D.M. Gabbay. The Logic of Questions D. Harrah. Sequent Systems for Modal Logi. Nº de ref. del artículo: 5830717

Contactar al vendedor

Comprar nuevo

EUR 136,16
Convertir moneda
Gastos de envío: EUR 48,99
De Alemania 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

Gabbay, D. M. (EDT); Guenthner, F. (EDT)
Publicado por Springer, 2012
ISBN 10: 9401039194 ISBN 13: 9789401039192
Antiguo o usado Tapa blanda

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

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 20193806

Contactar al vendedor

Comprar usado

EUR 185,14
Convertir moneda
Gastos de envío: EUR 2,36
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 5 disponibles

Añadir al carrito

Imagen del vendedor

Franz Guenthner
Publicado por Springer Netherlands, 2012
ISBN 10: 9401039194 ISBN 13: 9789401039192
Nuevo Taschenbuch

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

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - suchquestionsforcenturies(unrestrictedbythecapabilitiesofanyhard ware). Theprinciplesgoverningtheinteractionofseveralprocesses,forexample, areabstractansimilartoprinciplesgoverningthecooperationoftwolarge organisation.Adetailedrulebasedeffectivebutrigidbureaucracyisvery muchsimilartoacomplexcomputerprogramhandlingandmanipulating data. Myguessisthattheprinciplesunderlyingoneareverymuchthe sameasthoseunderlyingtheother. Ibelievethedayisnotfarawayinthefuturewhenthecomputerscientist willwakeuponemorningwiththerealisationthatheisactuallyakindof formalphilosopher! TheprojectednumberofvolumesforthisHandbookisabout18.The subjecthasevolvedanditsareashavebecomeinterrelatedtosuchanextent thatitnolongermakessensetodedicatevolumestotopics.However,the volumesdofollowsomenaturalgroupingsofchapters. Iwouldliketothankourauthorsarereadersfortheircontributionsand theircommitmentinmakingthisHandbookasuccess. Thanksalsoto ourpublicationadministratorMrsJ.Spurrforherusualdedicationand excellenceandtoKluwerAcademicPublishersfortheircontinuingsupport fortheHandbook. DovGabbay King'sCollegeLondon x Logic II IT Natural Program Artificialin Logic p- language controlspec telligence gramming processing ification, verification, concurrency Temporal Expressive Expressive Planning. Extension of logic poweroftense power for re Time depen Horn clause operators. currentevents. dent data. with time Temporal Specification Eventcalculus. capability. indices. Sepa of tempo- Persistence Eventcalculus. rationofpast ral control. throughtime Temporallogic fromfuture Decisionprob the Frame programming. Problem.Tem lems. Model checking. poral query language. temporal transactions. Modal logic. generalised Actionlogic Beliefrevision. Negation by Multi-modal quantifiers Inferential failure and logics databases modality Algorithmic Discourse rep New logics. Generaltheory Proceduralap proof resentation. Generic theo of reasoning. proachtologic Direct com- remprovers Non-monotonic putation on systems linguisticinput Non Resolving Loopchecking. Intrinsiclogical Negation by monotonic ambigui- Non-monotonic discipline for failure.Deduc reasoning ties. Machine decisionsabout AI. Evolving tivedatabases translation. loops. Faults and com Document insystems. municating classification. databases Relevance theory Probabilistic logicalanalysis Realtimesys Expert sys Semantics for and fuzzy oflanguage tems tems.Machine logicprograms logic learning Intuitionistic Quantifiers in Constructive Intuitionistic Horn clause logic logic reasoning and logicisabetter logic is really proof theory logical basis intuitionistic. Nº de ref. del artículo: 9789401039192

Contactar al vendedor

Comprar nuevo

EUR 164,03
Convertir moneda
Gastos de envío: EUR 32,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Publicado por Springer, 2012
ISBN 10: 9401039194 ISBN 13: 9789401039192
Nuevo Tapa blanda

Librería: California Books, Miami, FL, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: I-9789401039192

Contactar al vendedor

Comprar nuevo

EUR 202,49
Convertir moneda
Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Existen otras 4 copia(s) de este libro

Ver todos los resultados de su búsqueda