FREE delivery to all EXCLUSIVE BOOKS stores nationwide. FREE delivery to your door on all orders over R450. Excludes all international deliveries.

Computer Science Logic

Egon Börger
    Product form
      FORMAT: Paperback / softback

      R 1,582.10 Price and availability exclusive to website

      YOU COULD EARN 1,582.10 FUTURE RETAIL DISCOUNTS.
      ESTIMATED DELIVERY: Approx. 10 - 15 Business Days
      BUY NOW PAY LATER
      From R 263.68 per month!
      3x monthly payments of R 527.36 with
      4x fortnightly payments of R 395.52 with
      This volume presents the proceedings of the Computer ScienceLogic Workshop CSL '92, held in Pisa, Italy, inSeptember/October 1992. CSL '92 was the sixth of the seriesand the first one held as Annual Conference of the EuropeanAssociation for Computer Science Logic (EACSL). Fullversions of the workshop contributions were collected aftertheir presentation and reviewed. On the basis of 58 reviews,26 papers were selected for publication, and appear here inrevised final form.Topics covered in the volume include: Turing machines,linear logic, logic of proofs, optimization problems, lambdacalculus, fixpoint logic, NP-completeness, resolution,transition system semantics, higher order partial functions,evolving algebras, functional logic programming, inductivedefinability, semantics of C, classes for a functionallanguage, NP-optimization problems, theory of types andnames, sconing and relators, 3-satisfiability, Kleene'sslash, negation-complete logic programs, polynomial-timeoracle machines, and monadic second-order properties.
      Format: Paperback / softback CONTRIBUTORS: Egon Börger EAN: 9783540569923 COUNTRY: Germany PAGES: WEIGHT: 1410 g HEIGHT: 233 cm
      PUBLISHED BY: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG DATE PUBLISHED: 1993-08-11 CITY: GENRE: COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Logic WIDTH: 155 cm SPINE:

      Book Themes:

      Mathematical foundations, Mathematical logic, Algorithms and data structures, Software Engineering, Mathematical theory of computation

      Customer Reviews

      Be the first to write a review
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      This volume presents the proceedings of the Computer ScienceLogic Workshop CSL '92, held in Pisa, Italy, inSeptember/October 1992. CSL '92 was the sixth of the seriesand the first one held as Annual Conference of the EuropeanAssociation for Computer Science Logic (EACSL). Fullversions of the workshop contributions were collected aftertheir presentation and reviewed. On the basis of 58 reviews,26 papers were selected for publication, and appear here inrevised final form.Topics covered in the volume include: Turing machines,linear logic, logic of proofs, optimization problems, lambdacalculus, fixpoint logic, NP-completeness, resolution,transition system semantics, higher order partial functions,evolving algebras, functional logic programming, inductivedefinability, semantics of C, classes for a functionallanguage, NP-optimization problems, theory of types andnames, sconing and relators, 3-satisfiability, Kleene'sslash, negation-complete logic programs, polynomial-timeoracle machines, and monadic second-order properties.
      Format: Paperback / softback CONTRIBUTORS: Egon Börger EAN: 9783540569923 COUNTRY: Germany PAGES: WEIGHT: 1410 g HEIGHT: 233 cm
      PUBLISHED BY: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG DATE PUBLISHED: 1993-08-11 CITY: GENRE: COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Logic WIDTH: 155 cm SPINE:

      Book Themes:

      Mathematical foundations, Mathematical logic, Algorithms and data structures, Software Engineering, Mathematical theory of computation

      Customer Reviews

      Be the first to write a review
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)

      Recently viewed products

      Login

      Forgot your password?

      Don't have an account yet?
      Create account