Types in logic programming / edited by Frank Pfenning

• Record Nr.: UNISA990000176910203316
• Pubbl/distr/stampa: Cambridge (Mass.) ; London : MIT Press, copyr. 1992
• ISBN: 0-262-16131-1
• Disciplina: 005.11
• Collocazione: 005.11 TYP
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia