01064nam a2200301 i 450099100109541970753620020507183157.0930927s1985 ||| ||| | eng 0908069154b10800244-39ule_instLE01306941ExLDip.to Matematicaeng510AMS 90-00AMS 90-XXAMS 90C99Balbin, Isaac535961Logic programming :a classified bibliography /Isaac Balbin, Lecot KoenraadAbbotsford, Australia :York Press,1985360 p. ;23 cm.Mathematical programmingLecot, Koenraadauthorhttp://id.loc.gov/vocabulary/relators/aut736453.b1080024421-09-0628-06-02991001095419707536LE013 90-XX BAL11 (1985)12013000073835le013-E0.00-l- 00000.i1090408628-06-02Logic programming1455753UNISALENTOle01301-01-93ma -engxx 01