15th Annual IEEE Symposium on Logic in Computer Science
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
15th Annual IEEE Symposium on Logic in Computer Science
|
| Pubblicazione: | [Place of publication not identified], : IEEE Computer Society Press, 2000 |
| Descrizione fisica: | 1 online resource (500 pages) |
| Disciplina: | 004.0151 |
| Soggetto topico: | Computer science - Mathematics |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Sommario/riassunto: | 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 copyrighted by Book News, Inc., Portland, OR. |
| Titolo autorizzato: | 15th Annual IEEE Symposium on Logic in Computer Science |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910872766003321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |