Logic for programming and automated reasoning : 6th International conference, LPAR'99 : Tbilisi, Georgia, September 6-10, 1999 : proceedings / Harald Ganzinger ...[et al.] (eds.)

• Record Nr.: UNISA990000200400203316
• Autore: International conference LPAR '99 : 6. : 1999
• Pubbl/distr/stampa: Berlino : Springer-Verlag, copyr. 1999
• ISBN: 3-540-66492-0
• Descrizione fisica: XII, 395 p. : ill. ; 22 cm
• Collana: Lecture notes in artificial intelligence ; 1705
• Disciplina: 0051
• Collocazione: 006.3 LNIA (1705)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia