Verwandte Artikel zu Logic in Computer Science (Lics 2000): 15th Symposium...

Logic in Computer Science (Lics 2000): 15th Symposium Held June 26-29, 2000 in Santa Barbara, Ca - Softcover

 
9780769507255: Logic in Computer Science (Lics 2000): 15th Symposium Held June 26-29, 2000 in Santa Barbara, Ca

Inhaltsangabe

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 (booknews.com)

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.