Articoli correlati a 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 - Brossura

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

Sinossi

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)

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.