Logic in Computer Science: 8th

Logic in Computer Science: 8th: Symposium Proceedings

Paperback Published on: 30/09/1993
£81.50
No reviews yet, be the first
Free UK delivery on orders over £25
Not available
This product is currently unavailable
Make and edit your lists in your account
No stock available in any shop.
Not available
This product is currently unavailable
No stock available in any shop.

Synopsis

LICS '93 was held in Montreal, Canada, June 1993, to discuss abstract data types, automated deduction, concurrency, constructive math, database theory, knowledge representation, logical aspects of computational complexity, software specification, and type systems, among other related topics. No inde

Publisher information

  • Publisher: IEEE Computer Society Press,U.S.
  • ISBN: 9780818631405
  • Number of pages: 500

Customer Reviews