Image for Logic in Computer Science (Lics 2000)

Logic in Computer Science (Lics 2000) (2000, 15th Annual ed.)

IEEE Computer Society(Created by)
See all formats and editions

This volume contains 39 papers from the June 2000 conference, addressing such topics as game semantics, complete axiomatization, modality, decision procedures for term algebras, set theory, query processing, and constraint satisfaction.

Name index only. Annotation c. Book News, Inc., Portland, OR (b"

Read More
Special order line: only available to educational & business accounts. Sign In
£126.50
Product Details
0769507255 / 9780769507255
Paperback / softback
01/10/2000
United States
425 pages
General (US: Trade) Learn More