9783540659228 - computer science logic: 12th international workshop, csl'98, annual conference of the eacsl, brno, czech republic, august 24-28, 1998, proceedings: 1584 (lecture notes in computer science, 1584) de grandjean, etienne; seyr, katrin; gottlob, georg (13 resultados)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 58,66
Envío por EUR 2,30Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 61,04
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,33
Envío por EUR 13,81Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
- Tapa blanda
Librería: Chiron Media, Wallingford, , Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 56,97
Envío por EUR 17,86Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
PF. Condición: New.
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 59,91
Envío por EUR 17,30Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 63,40Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - The 1998Annual Conference of the EuropeanAssociation for Computer Science Logic, CSL 98, was held in Brno, Czech Republic, during August 24-28, 1998. CSL 98wasthe12thinaseriesofworkshopsandthe7thtobeheldasthe Annual Conference of the EACSL. The con…ference was organized at Masaryk University in Brno by the Faculty of Informatics in cooperation with universities in Aaachen, Caen, Haagen, Linz, Metz, Pisa, Szeged, Vienna, and other institutions. CSL 98 formed one part of a federated conferences event, the other part being MFCS 98, the 23rd Int- national Symposium on the Mathematical Foundations of Computer Science. This federated conferences event consisted of common plenary sessions, invited talks, several parallel technical programme tracks, a dozen satellite workshops organized in parallel, and tutorials. The Federated CSL/MFCS 98 Conferences event included 19 invited talks, four of them joint CSL/MFCS 98 talks (D. Harel, W. Maass, Y. Matiyasevic, and M. Yannakakis), four for CSL (P. Hajek, J. Mitchell, Th. Schwentick, and J. Tiuryn), and eleven for MFCS. Last but not least, two tutorials were organized by CSL on the day preceding the symposium on Inference Rules in Fragments of Arithmetic by Lev Beklemishev and on Proofs, Types, and Safe Mobile Code by Greg Morrisett. A total of 345 persons attended the Federated CSL/MFCS 98 Conference which was a great success. The program committee of CSL 98 selected 27 of 74 papers submitted for the conference.From the 27 papers selected for presentation,25 havebeen accepted, following the standard refereeeing procedure, for publication in the present p- ceedings. Three invited speakers submitted papers, that were likewise refereeed and accepted.
Más imágenes- Tapa blanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 50,25
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: Neu. Computer Science Logic | 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings | Georg Gottlob (u. a.) | Taschenbuch | x | Englisch | 1999 | Springer | EAN 9783540659228 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tie…rgartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 122,32
Envío por EUR 17,30Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Como Nuevo
EUR 112,83
Envío por EUR 28,83Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 143,53
Envío por EUR 2,30Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Idioma: Inglés
Editorial: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 1999 1999
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 1998Annual Conference of the EuropeanAssociation for Computer Science Logic, CSL 98, was held in Brno, Czech Republic, during August 24-28, 1998. CSL 98wasthe12thinaseriesofworkshopsandthe7thtobeheldasthe Annual Conference of th…e EACSL. The conference was organized at Masaryk University in Brno by the Faculty of Informatics in cooperation with universities in Aaachen, Caen, Haagen, Linz, Metz, Pisa, Szeged, Vienna, and other institutions. CSL 98 formed one part of a federated conferences event, the other part being MFCS 98, the 23rd Int- national Symposium on the Mathematical Foundations of Computer Science. This federated conferences event consisted of common plenary sessions, invited talks, several parallel technical programme tracks, a dozen satellite workshops organized in parallel, and tutorials. The Federated CSL/MFCS 98 Conferences event included 19 invited talks, four of them joint CSL/MFCS 98 talks (D. Harel, W. Maass, Y. Matiyasevic, and M. Yannakakis), four for CSL (P. Hajek, J. Mitchell, Th. Schwentick, and J. Tiuryn), and eleven for MFCS. Last but not least, two tutorials were organized by CSL on the day preceding the symposium on Inference Rules in Fragments of Arithmetic by Lev Beklemishev and on Proofs, Types, and Safe Mobile Code by Greg Morrisett. A total of 345 persons attended the Federated CSL/MFCS 98 Conference which was a great success. The program committee of CSL 98 selected 27 of 74 papers submitted for the conference.From the 27 papers selected for presentation,25 havebeen accepted, following the standard refereeeing procedure, for publication in the present p- ceedings. Three invited speakers submitted papers, that were likewise refereeed and accepted. 452 pp. Englisch.
- Tapa blanda
- Impresión bajo demanda
Librería: moluna, Greven, , Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 48,37
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Invited Papers.- Trakhtenbrot Theorem and Fuzzy Logic.- Descriptive Complexity, Lower Bounds and Linear Time.- Testing of Finite State Systems.- Contributed Papers.- On the Power of Quantifiers in First-Order Algebrai…c Specification.- On the Effective Seman.
- Tapa blanda
- Impresión bajo demanda
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 60,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Invited Papers.- Trakhtenbrot Theorem and Fuzzy Logic.- Descriptive Complexity, Lower Bounds and Linear Time.- Testing of Finite State Systems.- Contributed Papers.- On the Power of Quantifiers in First-Order Algebraic Specification.- O…n the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal Logic Databases.- Revision Programming = Logic Programming + Integrity Constraints.- Quantifiers and the System KE: Some Surprising Results.- Choice Construct and Lindström Logics.- Monadic NP and Graph Minors.- Invariant Definability and P/poly.- Computational Complexity of Ehrenfeucht-Fraïssé Games on Finite Structures.- An Upper Bound for Minimal Resolution Refutations.- On an Optimal Deterministic Algorithm for SAT.- Characteristic Properties of Majorant-Computability Over the Reals.- Theorems of Péter and Parsons in Computer Programming.- Kripke, Belnap, Urquhart and Relevant Decidability & Complexity.- Existence and Uniqueness of Normal Forms in Pure Type Systems with -conversion.- Normalization of Typable Terms by Superdevelopments.- Subtyping Functional+Nonempty Record Types.- Monotone Fixed-Point Types and Strong Normalization.- Morphisms and Partitions of V-sets.- Computational Adequacy in an Elementary Topos.- Logical Relations and Inductive/Coinductive Types.- On the Complexity of H-Subsumption.- Complexity Classes and Rewrite Systems with Polynomial Interpretation.- RPO Constraint Solving Is in NP.- Quantifier Elimination in Fuzzy Logic.- Many-Valued First-Order Logics with Probabilistic Semantics.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 452 pp. Englisch.
