Computational Logic - CL 2000Peter J. Stuckey, Yehoshua Sagiv, Luis M. Pereira, Catuscia Palamidessi, Kung-Kiu Lau, Manfred Kerber, Ulrich Furbach, Veronica Dahl, John Lloyd E-bok2003732 kr
Del 11408Logic-Based Program Synthesis and TransformationFred Mesnard, Peter J. StuckeyHäftad, 2019567 kr
Computational Logic — CL 2000John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luis M. Pereira, Yehoshua Sagiv, Peter J. Stuckey667 kr
Del 12735Integration of Constraint Programming, Artificial Intelligence, and Operations ResearchPeter J. StuckeyHäftad, 2021567 kr
Integration of Constraint Programming, Artificial Intelligence, and Operations ResearchPeter J. Stuckey E-bok2021732 kr