Vai al contenuto principale della pagina

STACS 93 [electronic resource] : 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings / by Patrice Enjalbert, Alain Finkel, Klaus W. Wagner



(Visualizza formato Marc21)    (visualizza in BIBRAME 2.0)

Creatore: Enjalbert, P. (Patrice) Visualizza persona
Titolo: STACS 93 [electronic resource] : 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings / by Patrice Enjalbert, Alain Finkel, Klaus W. Wagner
Link to work: STACS 93 Visualizza cluster
Pubblicazione: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993
Index term-Uncontrolled: Computer Science
Algorithm Analysis and Problem Complexity
Arithmetic and Logic Structures
Computation by Abstract Devices
Logic Design
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Soggetto non controllato: Computer Science
Algorithm Analysis and Problem Complexity
Arithmetic and Logic Structures
Computation by Abstract Devices
Logic Design
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Termine d'indicizzazione-Occupazione: Computer Science
Algorithm Analysis and Problem Complexity
Arithmetic and Logic Structures
Computation by Abstract Devices
Logic Design
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Creatori/Collaboratori: Finkel, Alain
Wagner, K. W. (Klaus W.)
Accesso ente: SpringerLink (Online service)
Collana: Lecture notes in computer science, 0302-9743 ; 665
ISBN: 9783540565031
Formato: Software
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 7355083
Localizzazioni e accesso elettronico http://dx.doi.org/10.1007/3-540-56503-5
Lo trovi qui: University of Chicago
Item: Permalink to OPAC
Fa parte di: Springer e-books