Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings / / A. Nerode, M. Taitslin (eds.)

• Record Nr.: UNISA996465772503316
• Pubbl/distr/stampa: Springer Berlin Heidelberg
• Altri autori (Persone): NerodeAnil; TaitslinMikhail A
• Disciplina: 004
• Soggetti: Computers - Congresses; Electronic data processing - Congresses; Logic, Symbolic and mathematical - Congresses
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia