<![CDATA[Catálogo Bibliográfico FCT/UNL Search for 'au,wrdl: Robert S. Boyer, J. Strother Moore']]>

<![CDATA[Catálogo Bibliográfico FCT/UNL Search for 'au,wrdl: Robert S. Boyer, J. Strother Moore']]> https://opac.fct.unl.pt/cgi-bin/koha/opac-search.pl?idx=au&q=Robert%20S.%20Boyer%2C%20J.%20Strother%20Moore&format=rss2 2 0 50 The correctness problem in computer science ISBN 0-12-122920-3 https://opac.fct.unl.pt/cgi-bin/koha/opac-detail.pl?biblionumber=69263 By Robert S. Boyer, J. Strother Moore. Academic Press 1981 . XIII, 279 p. 24 cm. 0-12-122920-3

Place Hold on The correctness problem in computer science

]]> https://opac.fct.unl.pt/cgi-bin/koha/opac-detail.pl?biblionumber=69263 A computational logic ISBN 0-12-122950-5 https://opac.fct.unl.pt/cgi-bin/koha/opac-detail.pl?biblionumber=69280 By Robert S. Boyer, J. Strother Moore. Academic Press 1979 . XIV p. 24 cm. 0-12-122950-5

Place Hold on A computational logic

]]> https://opac.fct.unl.pt/cgi-bin/koha/opac-detail.pl?biblionumber=69280