Computation theory and logic / by Computation

• Record Nr.: UNINA990001140150403321
• Autore: Computational
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, 198 7
• Collana: Lecture notes in computer science ; 270
• Locazione: MA1
• Collocazione: C-16-(270
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia