Logical methods in computer science.
Tallennettuna:
| Aineistotyyppi: | Revue numérique |
|---|---|
| Kieli: | Indéterminée |
| Julkaistu: |
Technical University of Braunschweig
|
| Linkit: | Accès libre |
| État de collection: | Revue numérique .- État de collection : 2005 à nos jours |
| Variante du titre: | Logical methods in computer science |
Samankaltaisia teoksia
-
Logical foundations of computer science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013 : proceedings
(Livre numérique)
Springer Berlin Heidelberg, 2013 - Logical foundations of computer science : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11 14, 1994 : proceedings (Livre numérique)
- Logical foundations of computer science : 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6 12, 1997 : proceedings (Livre numérique)
- Logical Methods : In Honor of Anil Nerode s Sixtieth Birthday (Livre numérique)
- Logical foundations of computer science - Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings (Livre numérique)