Logic programming and automated reasoning : 4th International conference, LPAR'93 St. Petersburg, Russia, July 13-20, 1993 : proceedings / Andrei, Voronkov (ed.)

• Record Nr.: UNISA990000201540203316
• Autore: International conference LPAR'93 : 4. : 1993
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr. 1993
• ISBN: 3-540-56944-8
• Descrizione fisica: XIII, 386 p. : ill. ; 24 cm
• Collana: Lecture notes in artificial intelligence ; 698
• Disciplina: 005131
• Collocazione: 006.3 LNIA (698)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: serie principale: lecture notes incomputer science