
Logical Foundations of Computer Science
- Alaotsikko
- Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings
- Toimittaja
- Anil Nerode, Yu.V. Matiyasevich
- Painos
- 1994 ed.
- ISBN
- 9783540581406
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 8.6.1994
- Sivumäärä
- 397