Teorie del teatro : panorama storico e critico / Marvin Carlson

• Record Nr.: UNIORUON00219120
• Autore: CARLSON, Marvin
• Pubbl/distr/stampa: 590 p. ; 25 cm
• ISBN: 88-15-06062-6
• Edizione: [Bologna : Il Mulino]
• Descrizione fisica: Tit. orig.: Theories of the theatre : a historical and critical survey from the Greeks to the present
• Disciplina: 792.01
• Soggetti: TEATRO - Teorie - Storia
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Automated deduction, CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings / / Claude Kirchner, Hélène Kirchner, eds

• Record Nr.: UNINA9910143631503321
• Pubbl/distr/stampa: Springer Berlin / Heidelberg
• Altri autori (Persone): KirchnerHélène; KirchnerClaude
• Disciplina: 006.3/3
• Soggetti: Automatic theorem proving; Logic, Symbolic and mathematical
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia