• Synthesis of Programs in Compu...

Treffer: Synthesis of Programs in Computational Logic

Title:
Synthesis of Programs in Computational Logic
Program Development in Computational Logic
Authors:
Basin, D., Deville, Y., Flener, P., Hamfelt, A., Nilsson, J. F.
Source:
LECTURE NOTES IN COMPUTER SCIENCE.. (3049):30-65
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCRN152715905&indx=1&recIds=ETOCRN152715905
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings