Vai al contenuto principale della pagina

Computer Science Logic [electronic resource] : 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings / by Jerzy Marcinkowski, Andrzej Tarlecki



(Visualizza formato Marc21)    (visualizza in BIBRAME 2.0)

Creatore: Marcinkowski, Jerzy Visualizza persona
Titolo: Computer Science Logic [electronic resource] : 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings / by Jerzy Marcinkowski, Andrzej Tarlecki
Link to work: Computer Science Logic Visualizza cluster
Pubblicazione: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
Index term-Uncontrolled: Computer Science
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Soggetto non controllato: Computer Science
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Termine d'indicizzazione-Occupazione: Computer Science
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Creatori/Collaboratori: Tarlecki, Andrzej
Accesso ente: SpringerLink (Online service)
Collana: Lecture notes in computer science, 0302-9743 ; 3210
ISBN: 9783540230243
Formato: Software
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 7354464
Localizzazioni e accesso elettronico http://dx.doi.org/10.1007/b100120
Lo trovi qui: University of Chicago
Item: Permalink to OPAC
Fa parte di: Springer e-books